');
document.write('
');
document.write('
String proxyHost =
System.
getProperty("proxyHost");
');
document.write('
String proxyPort =
System.
getProperty("proxyPort");
');
document.write('
String nonProxyHosts =
System.
getProperty("nonProxyHosts");
');
document.write('
');
document.write('
if (proxyHost !=
null)');
document.write('
{');
document.write('
// set standard proxy property');
document.write('
System.
setProperty("http.proxyHost", proxyHost
);
');
document.write('
}');
document.write('
else if ((proxyHost =
System.
getProperty("http.proxyHost")) !=
null)');
document.write('
{');
document.write('
// standard proxy property is set -> just in case some software expects it,');
document.write('
// use it also for deprecated proxy property');
document.write('
System.
setProperty("proxyHost", proxyHost
);
');
document.write('
}');
document.write('
else if ((proxyHost =
System.
getProperty("deployment.proxy.http.host")) !=
null)');
document.write('
{');
document.write('
// javaws proxy property is set ->');
document.write('
// use it also for standard and deprecated proxy property');
document.write('
System.
setProperty("proxyHost", proxyHost
);
');
document.write('
System.
setProperty("http.proxyHost", proxyHost
);
');
document.write('
}');
document.write('
');
document.write('
if (proxyPort !=
null)');
document.write('
{');
document.write('
// set standard proxy property');
document.write('
System.
setProperty("http.proxyPort", proxyPort
);
');
document.write('
}');
document.write('
else if ((proxyPort =
System.
getProperty("http.proxyPort")) !=
null)');
document.write('
{');
document.write('
// standard proxy property is set -> just in case some software expects it,');
document.write('
// use it also for deprecated proxy property');
document.write('
System.
setProperty("proxyPort", proxyPort
);
');
document.write('
}');
document.write('
else if ((proxyPort =
System.
getProperty("deployment.proxy.http.port")) !=
null)');
document.write('
{');
document.write('
System.
setProperty("proxyPort", proxyPort
);
');
document.write('
System.
setProperty("http.proxyPort", proxyPort
);
');
document.write('
}');
document.write('
');
document.write('
// set nonproxy hosts (deprecated and standard property)');
document.write('
if (nonProxyHosts ==
null) nonProxyHosts =
');
document.write('
System.
getProperty("http.nonProxyHosts");
');
document.write('
String proxyBypassList =
System.
getProperty("deployment.proxy.bypass.list");
');
document.write('
if (nonProxyHosts ==
null && proxyBypassList !=
null)');
document.write('
{');
document.write(' nonProxyHosts = proxyBypassList.
replace(\';\',
\'|\');
');
document.write('
}');
document.write('
');
document.write(' nonProxyHosts = updateNonProxyHosts
(isProxyEnabled
(), nonProxyHosts
);
');
document.write('
if (nonProxyHosts !=
null)');
document.write('
{');
document.write('
System.
setProperty("nonProxyHosts", nonProxyHosts
);
');
document.write('
System.
setProperty("http.nonProxyHosts", nonProxyHosts
);
');
document.write(' proxyBypassList = nonProxyHosts.
replace(\'|\',
\';\');
');
document.write('
System.
setProperty("deployment.proxy.bypass.list", proxyBypassList
);
');
document.write('
}');
document.write('
');
document.write('