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

Fixed bug with HTTPS proxy settings

Browse Source
This commit is contained in:
Federico Fissore 2015-03-20 10:12:08 +01:00
parent 02b7fa87eb
commit a053088691
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
app/src/processing/app/Preferences.java
View File

@ -737,9 +737,9 @@ public class Preferences {
} catch (NumberFormatException e) {
Preferences.remove("proxy.http.port");
}
Preferences.set("proxy.https.server", proxyHTTPServer.getText());
Preferences.set("proxy.https.server", proxyHTTPSServer.getText());
try {
Preferences.set("proxy.https.port", Integer.valueOf(proxyHTTPPort.getText()).toString());
Preferences.set("proxy.https.port", Integer.valueOf(proxyHTTPSPort.getText()).toString());
} catch (NumberFormatException e) {
Preferences.remove("proxy.https.port");
}
@ -783,11 +783,11 @@ public class Preferences {
} catch (NumberFormatException e) {
proxyHTTPPort.setText("");
}
proxyHTTPServer.setText(Preferences.get("proxy.https.server"));
proxyHTTPSServer.setText(Preferences.get("proxy.https.server"));
try {
proxyHTTPPort.setText(Integer.toString(Preferences.getInteger("proxy.https.port", 8443)));
proxyHTTPSPort.setText(Integer.toString(Preferences.getInteger("proxy.https.port", 8443)));
} catch (NumberFormatException e) {
proxyHTTPPort.setText("");
proxyHTTPSPort.setText("");
}
proxyUser.setText(Preferences.get("proxy.user"));
proxyPassword.setText(Preferences.get("proxy.password"));