[Imker] Exception on proxy usage

[guerda]

If you have a proxy set up, the imker GUI catches an exception "Unknown Host Exception". Unfortunately, I don't have a stack trace at hand. Even if you set the environment variables, the download fails

[maflcko]

Can you send me the whole command line including the system properties which set the proxy?

[maflcko]

If you don't mind, can you just try all combinations and send me the result?

java -Dhttp.proxyHost=1.2.3.4 -Dhttp.proxyPort=5678 -jar imker.jar java -Dhttps.proxyHost=1.2.3.4 -Dhttps.proxyPort=5678 -jar imker.jar java -Djava.net.useSystemProxies=true -jar imker.jar

---

In some future release, the proxy can be set in the (not yet existent) Settings popup.

[guerda]

I tried all combinations. Beforehand, I only tried the http version.

java -Dhttp.proxyHost=1.2.3.4 -Dhttp.proxyPort=5678 -jar imker.jar

java.net.UnknownHostException: commons.wikimedia.org

java -Dhttps.proxyHost=1.2.3.4 -Dhttps.proxyPort=5678 -jar imker.jar

Works perfect.

java -Djava.net.useSystemProxies=true -jar imker.jar

java.net.UnknownHostException: commons.wikimedia.org

Info: The proxy is an NTLM proxy, which needs authorization. This seems to be trouble for some Java applications.

[maflcko]

Wiki.java is using https to connect by default, so http won't work.