From 323458c8d833a91560001be24c27be8edaa0f528 Mon Sep 17 00:00:00 2001 From: Federico Fissore Date: Wed, 18 Mar 2015 11:31:34 +0100 Subject: [PATCH] Added HTTPS proxy properties --- arduino-core/src/cc/arduino/utils/network/FileDownloader.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/arduino-core/src/cc/arduino/utils/network/FileDownloader.java b/arduino-core/src/cc/arduino/utils/network/FileDownloader.java index ceb2e2144..a25ecc815 100644 --- a/arduino-core/src/cc/arduino/utils/network/FileDownloader.java +++ b/arduino-core/src/cc/arduino/utils/network/FileDownloader.java @@ -125,6 +125,8 @@ public class FileDownloader extends Observable { if (PreferencesData.has("proxy.server") && PreferencesData.get("proxy.server") != null && !PreferencesData.get("proxy.server").equals("")) { System.getProperties().put("http.proxyHost", PreferencesData.get("proxy.server")); System.getProperties().put("http.proxyPort", PreferencesData.get("proxy.port")); + System.getProperties().put("https.proxyHost", PreferencesData.get("proxy.server")); + System.getProperties().put("https.proxyPort", PreferencesData.get("proxy.port")); if (PreferencesData.has("proxy.user")) { System.getProperties().put("http.proxyUser", PreferencesData.get("proxy.user")); System.getProperties().put("http.proxyPassword", PreferencesData.get("proxy.password")); @@ -132,6 +134,8 @@ public class FileDownloader extends Observable { } else { System.getProperties().remove("http.proxyHost"); System.getProperties().remove("http.proxyPort"); + System.getProperties().remove("https.proxyHost"); + System.getProperties().remove("https.proxyPort"); System.getProperties().remove("http.proxyUser"); System.getProperties().remove("http.proxyPassword"); }