rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00
Code Issues Releases Activity

Preventing upload and serial monitor on not (yet) available boards

Browse Source
This commit is contained in:
Federico Fissore 2013-10-11 09:36:04 +02:00
parent 9898fd7ae6
commit 06445dd151
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
app/src/processing/app/Editor.java
View File

@ -2512,6 +2512,12 @@ public class Editor extends JFrame implements RunnerListener {
} }
BoardPort port = Base.getDiscoveryManager().find(Preferences.get("serial.port")); BoardPort port = Base.getDiscoveryManager().find(Preferences.get("serial.port"));
if (port == null) {
statusError(I18n.format("Board at {0} is not available", Preferences.get("serial.port")));
return;
}
serialMonitor = new UploaderAndMonitorFactory().newMonitor(port, base); serialMonitor = new UploaderAndMonitorFactory().newMonitor(port, base);
serialMonitor.setIconImage(getIconImage()); serialMonitor.setIconImage(getIconImage());

5
app/src/processing/app/Sketch.java
View File

@ -1670,6 +1670,11 @@ public class Sketch {
BoardPort boardPort = Base.getDiscoveryManager().find(Preferences.get("serial.port")); BoardPort boardPort = Base.getDiscoveryManager().find(Preferences.get("serial.port"));
if (boardPort == null) {
editor.statusError(I18n.format("Board at {0} is not available", Preferences.get("serial.port")));
return false;
}
Uploader uploader = new UploaderAndMonitorFactory().newUploader(target.getBoards().get(board), boardPort); Uploader uploader = new UploaderAndMonitorFactory().newUploader(target.getBoards().get(board), boardPort);
boolean success = false; boolean success = false;