javascript - 如何在防火墙后使用 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