1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-15 12:29:26 +01:00

Launch DiscoveryManager after populating indexes

This commit is contained in:
Cristian Maglie 2016-08-31 19:11:24 +02:00
parent 9abf25d222
commit 7d27c43ff2

View File

@ -605,9 +605,6 @@ public class BaseNoGui {
} }
static public void initPackages() throws Exception { static public void initPackages() throws Exception {
discoveryManager = new DiscoveryManager();
indexer = new ContributionsIndexer(getSettingsFolder(), getHardwareFolder(), getPlatform(), indexer = new ContributionsIndexer(getSettingsFolder(), getHardwareFolder(), getPlatform(),
new GPGDetachedSignatureVerifier()); new GPGDetachedSignatureVerifier());
@ -635,6 +632,8 @@ public class BaseNoGui {
File librariesIndexFile = librariesIndexer.getIndexFile(); File librariesIndexFile = librariesIndexer.getIndexFile();
FileUtils.deleteIfExists(librariesIndexFile); FileUtils.deleteIfExists(librariesIndexFile);
} }
discoveryManager = new DiscoveryManager();
} }
static protected void initPlatform() { static protected void initPlatform() {