特定于平台的详细信息：设置代理主机

您可以通过命令行设置代理主机。根据您的网络配置，您可能还需要设置代理端口。如有必要，请向系统 管理 员询问网络上代理主机的名称。

• UNIX

java -Dhttp.proxyHost=proxyhost
[-Dhttp.proxyPort=portNumber] URLReader

 - **DOS shell \(Windows 95/NT\)**

   - ```
java -Dhttp.proxyHost=proxyhost
[-Dhttp.proxyPort=portNumber] URLReader