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