如何从控制台启动特定端口上的GWT devmode?

时间:2010-02-18 05:17:05

标签: python gwt ant

因此,在包含我的GWT应用程序的目录中,我可以输入控制台

  

ant devmode

它将按照惯例启动我的GWT应用程序。到目前为止一切都很好。

但是,如果希望在启动devmode时将端口指定为动态参数,那该怎么办呢?概念上的东西:

  

ant devmode port = 8821

或者我应该将一些系统变量传递给GWT?这有什么约定? 感谢。

1 个答案:

答案 0 :(得分:2)

通过ant传递参数可以通过ant属性完成。电话会是:

ant devmode -Dport=8821

在您的ant文件中指定属性端口。通过命令行传递参数时,将覆盖默认值:

<property name="port" value="8080" />  //replace 8080 with the default value you want.

在要使用该属性的ant位置,使用如下:

<arg value="-port"/>
<arg value="${port}"/>

更新:修正语法,如斯蒂芬所建议的,使该例子正确的属性。