mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-26 20:54:22 +01:00
Merge remote-tracking branch 'arduino/master'
This commit is contained in:
commit
2b18d1fba0
@ -177,6 +177,13 @@ public class SerialUploader extends Uploader {
|
|||||||
Thread.sleep(100);
|
Thread.sleep(100);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
BoardPort boardPort = BaseNoGui.getDiscoveryManager().find(PreferencesData.get("serial.port"));
|
||||||
|
try {
|
||||||
|
prefs.put("serial.port.iserial", boardPort.getPrefs().getOrExcept("iserial"));
|
||||||
|
} catch (Exception e) {
|
||||||
|
// if serial port does not contain an iserial field
|
||||||
|
}
|
||||||
|
|
||||||
prefs.put("build.path", buildPath);
|
prefs.put("build.path", buildPath);
|
||||||
prefs.put("build.project_name", className);
|
prefs.put("build.project_name", className);
|
||||||
if (verbose) {
|
if (verbose) {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user