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

Refresh serial port list after loading contributed packages

Soves nameless boards if contributed cores loading is slow
This commit is contained in:
Martino Facchin 2016-07-13 18:42:31 +02:00
parent b8f3d2d8bb
commit 830fe765b8

View File

@ -410,6 +410,9 @@ public class BaseNoGui {
BaseNoGui.initPackages(); BaseNoGui.initPackages();
// refresh the serial port names after loading all packages
BaseNoGui.getDiscoveryManager().getSerialDiscoverer().forceRefresh();
// Setup board-dependent variables. // Setup board-dependent variables.
onBoardOrPortChange(); onBoardOrPortChange();