*/\r
public void applySettings() {\r
Properties props = System.getProperties();\r
- props.setProperty(ISettingsPage.KEY_HTTP_PROXY_HOST,\r
- mProperties.getProperty(ISettingsPage.KEY_HTTP_PROXY_HOST, "")); //$NON-NLS-1$\r
- props.setProperty(ISettingsPage.KEY_HTTP_PROXY_PORT,\r
- mProperties.getProperty(ISettingsPage.KEY_HTTP_PROXY_PORT, "")); //$NON-NLS-1$\r
- }\r
+\r
+ // Get the configured HTTP proxy settings\r
+ String proxyHost = mProperties.getProperty(ISettingsPage.KEY_HTTP_PROXY_HOST,\r
+ ""); //$NON-NLS-1$\r
+ String proxyPort = mProperties.getProperty(ISettingsPage.KEY_HTTP_PROXY_PORT,\r
+ ""); //$NON-NLS-1$\r
+\r
+ // Set both the HTTP and HTTPS proxy system properties\r
+ props.setProperty(ISettingsPage.KEY_HTTP_PROXY_HOST, proxyHost);\r
+ props.setProperty(ISettingsPage.KEY_HTTP_PROXY_PORT, proxyPort);\r
+ props.setProperty("https.proxyHost", proxyHost); //$NON-NLS-1$\r
+ props.setProperty("https.proxyPort", proxyPort); //$NON-NLS-1$\r
+ }\r
\r
}\r