From 830fe765b8512288d072f604565844ac74743abf Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Wed, 13 Jul 2016 18:42:31 +0200
Subject: [PATCH] Refresh serial port list after loading contributed packages

Soves nameless boards if contributed cores loading is slow
---
 arduino-core/src/processing/app/BaseNoGui.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index f5f4ca2a0..8ddb29cdc 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -409,7 +409,10 @@ public class BaseNoGui {
     }
 
     BaseNoGui.initPackages();
-    
+
+    // refresh the serial port names after loading all packages
+    BaseNoGui.getDiscoveryManager().getSerialDiscoverer().forceRefresh();
+
     // Setup board-dependent variables.
     onBoardOrPortChange();