Proxy settings are controllable by setting System properties
http.proxyHost and http.proxyPort . At the moment you'll
have to do this via -Dhttp.proxyHost=<proxyhostname> etc.
I'm aiming to get the Preferences control panel working in
M4, so you'll be able to set this via GUI when we get the
Preferences panel working.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=405029
As far as I understand, the JRE is supposed to handle this.
(via javacontrol). I'll see if I can expose the individual
settings from Java code.
Logged In: YES
user_id=405029
Proxy settings are controllable by setting System properties
http.proxyHost and http.proxyPort . At the moment you'll
have to do this via -Dhttp.proxyHost=<proxyhostname> etc.
I'm aiming to get the Preferences control panel working in
M4, so you'll be able to set this via GUI when we get the
Preferences panel working.