1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-13 10:29:35 +01:00

Restore serial.port.iserial field

uses 2893c2d64314f3fa298fffb5c90d8e27c8614d08
This commit is contained in:
Martino Facchin 2016-04-08 17:57:56 +02:00
parent 60b169fbe9
commit 643f8479e3

View File

@ -177,6 +177,13 @@ public class SerialUploader extends Uploader {
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.project_name", className);
if (verbose) {