1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-18 07:52:14 +01:00

Returning a copy of installed libraries list, so clients can deal with it without incurring in concurrent list changes. See #3814

This commit is contained in:
Federico Fissore 2015-09-18 17:03:59 +02:00
parent 53408063a4
commit 8767cd51b4

View File

@ -216,7 +216,7 @@ public class LibrariesIndexer {
} }
public LibraryList getInstalledLibraries() { public LibraryList getInstalledLibraries() {
return installedLibraries; return new LibraryList(installedLibraries);
} }
// Same as getInstalledLibraries(), but allow duplicates between // Same as getInstalledLibraries(), but allow duplicates between
@ -236,8 +236,6 @@ public class LibrariesIndexer {
* Set the sketchbook library folder. <br /> * Set the sketchbook library folder. <br />
* New libraries will be installed here. <br /> * New libraries will be installed here. <br />
* Libraries not found on this folder will be marked as read-only. * Libraries not found on this folder will be marked as read-only.
*
* @param folder
*/ */
public void setSketchbookLibrariesFolder(File folder) { public void setSketchbookLibrariesFolder(File folder) {
this.sketchbookLibrariesFolder = folder; this.sketchbookLibrariesFolder = folder;