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

avoid NPE for synchronization issues on board list

This commit is contained in:
Martino Facchin 2016-03-25 13:39:13 +01:00
parent ad74288e5a
commit ea405ea534

View File

@ -54,7 +54,7 @@ public class SerialBoardsLister extends TimerTask {
timer.schedule(this, 0, 1000); timer.schedule(this, 0, 1000);
} }
public void retriggerDiscovery() { public synchronized void retriggerDiscovery() {
while (BaseNoGui.packages == null) { while (BaseNoGui.packages == null) {
try { try {
Thread.sleep(1000); Thread.sleep(1000);