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

SerialUploader: actualUploadPort may still be null, in that case fall back to userSelectedUploadPort

This commit is contained in:
Federico Fissore 2015-06-12 10:57:33 +02:00
parent 8139e85ef1
commit 54971e451f

View File

@ -192,6 +192,9 @@ public class SerialUploader extends Uploader {
if (finalUploadPort == null) {
finalUploadPort = actualUploadPort;
}
if (finalUploadPort == null) {
finalUploadPort = userSelectedUploadPort;
}
BaseNoGui.selectSerialPort(finalUploadPort);
return uploadResult;
}