Previous

Platform-Specific Details: Setting the Proxy Host

You can set the proxy host through the command line. Depending on your network configuration, you might also need to set the proxy port. If necessary, ask your system administrator for the name of the proxy host on your network.
UNIX 
java -Dhttp.proxyHost=proxyhost
    [-Dhttp.proxyPort=portNumber] URLReader
DOS shell (Windows 95/NT) 
java -Dhttp.proxyHost=proxyhost
    [-Dhttp.proxyPort=portNumber] URLReader

Previous