如何在防火墙后面使用mozilla Rhino？

Question

通常如果我在rhino shell中运行以下命令，

mbp001:rhino1_7R2 user$ java -jar js.jar 
Rhino 1.7 release 2 2009 03 22
js> readUrl("http://www.google.com")

它将返回结果的html标记。但是，如果我在防火墙后运行它，它将抛出一个异常（因为它无法到达主机）

如何让Rhino shell知道代理？为此目的有没有-D开关？

Answer 1

你试过标准的java系统属性“http.proxyHost”和“http.proxyPort”吗？

命令行将是：

java -Dhttp.proxyHost=proxy.bigcorp.com -Dhttp.proxyPort=9000 -jar js.jar