mirror of https://github.com/noisymime/Arduino.git
parent
ec2e9a642a
commit
0a8e7a14f1
|
@ -210,6 +210,9 @@ public class BaseNoGui {
|
|||
}
|
||||
|
||||
public static DiscoveryManager getDiscoveryManager() {
|
||||
if (discoveryManager == null) {
|
||||
discoveryManager = new DiscoveryManager();
|
||||
}
|
||||
return discoveryManager;
|
||||
}
|
||||
|
||||
|
@ -633,7 +636,9 @@ public class BaseNoGui {
|
|||
FileUtils.deleteIfExists(librariesIndexFile);
|
||||
}
|
||||
|
||||
discoveryManager = new DiscoveryManager();
|
||||
if (discoveryManager == null) {
|
||||
discoveryManager = new DiscoveryManager();
|
||||
}
|
||||
}
|
||||
|
||||
static protected void initPlatform() {
|
||||
|
|
Loading…
Reference in New Issue