From 7d27c43ff237f89dd646953f6841c425e3a1d154 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 31 Aug 2016 19:11:24 +0200
Subject: [PATCH] Launch DiscoveryManager after populating indexes

---
 arduino-core/src/processing/app/BaseNoGui.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 1e57f18a9..45b3d08f1 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -605,9 +605,6 @@ public class BaseNoGui {
   }
 
   static public void initPackages() throws Exception {
-
-    discoveryManager = new DiscoveryManager();
-
     indexer = new ContributionsIndexer(getSettingsFolder(), getHardwareFolder(), getPlatform(),
         new GPGDetachedSignatureVerifier());
 
@@ -635,6 +632,8 @@ public class BaseNoGui {
       File librariesIndexFile = librariesIndexer.getIndexFile();
       FileUtils.deleteIfExists(librariesIndexFile);
     }
+
+    discoveryManager = new DiscoveryManager();
   }
 
   static protected void initPlatform() {