@@ -172,7 +172,7 @@ public class DefaultLauncher extends Launcher {
|
|||||||
|
|
||||||
Proxy.Type proxyType = options.getProxyType();
|
Proxy.Type proxyType = options.getProxyType();
|
||||||
if (proxyType == null) {
|
if (proxyType == null) {
|
||||||
res.addDefault("-Djava.net.useSystemProxies", "true");
|
res.addDefault("-Djava.net.useSystemProxies=", "true");
|
||||||
} else {
|
} else {
|
||||||
String proxyHost = options.getProxyHost();
|
String proxyHost = options.getProxyHost();
|
||||||
int proxyPort = options.getProxyPort();
|
int proxyPort = options.getProxyPort();
|
||||||
|
|||||||
Reference in New Issue
Block a user