From e65fbaacf71710085323cf35f475965c2f907f89 Mon Sep 17 00:00:00 2001 From: matthiasgeiger Date: Wed, 21 Dec 2016 20:58:47 +0100 Subject: [PATCH] use proxy configuration also for HTTPS connections - fixes #2249 --- src/main/java/net/sf/jabref/logic/net/ProxyRegisterer.java | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/main/java/net/sf/jabref/logic/net/ProxyRegisterer.java b/src/main/java/net/sf/jabref/logic/net/ProxyRegisterer.java index 4796280f4ec..78eb977e62b 100644 --- a/src/main/java/net/sf/jabref/logic/net/ProxyRegisterer.java +++ b/src/main/java/net/sf/jabref/logic/net/ProxyRegisterer.java @@ -8,10 +8,16 @@ public static void register(ProxyPreferences proxyPrefs) { System.setProperty("http.proxyHost", proxyPrefs.getHostname()); System.setProperty("http.proxyPort", proxyPrefs.getPort()); + System.setProperty("https.proxyHost", proxyPrefs.getHostname()); + System.setProperty("https.proxyPort", proxyPrefs.getPort()); + // NetworkTab.java ensures that proxyUsername and proxyPassword are neither null nor empty if (proxyPrefs.isUseAuthentication()) { System.setProperty("http.proxyUser", proxyPrefs.getUsername()); System.setProperty("http.proxyPassword", proxyPrefs.getPassword()); + + System.setProperty("https.proxyUser", proxyPrefs.getUsername()); + System.setProperty("https.proxyPassword", proxyPrefs.getPassword()); } } else { // The following two lines signal that the system proxy settings