Как запустить GWT devmode на конкретном порту из консоли?

Question

Итак, в каталоге, содержащем мое приложение GWT, я могу набрать в консоли

ant devmode

И он запустит мое приложение GWT, как обычно. Пока все хорошо.

Однако, что делать, если вы хотите указать порт в качестве динамического аргумента при запуске devmode. Что-то концептуально вроде:

ant devmode port = 8821

Или я должен передать некоторую системную переменную в GWT? Какая конвенция для этого? Спасибо.

Answer 1

Передача аргумента через муравей может быть сделана через свойства муравья. Вызов будет:

ant devmode -Dport=8821

В вашем файле ant укажите порт свойства. Значение по умолчанию будет переопределено при передаче аргумента через командную строку:

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

А в муравейнике, где вы хотите использовать свойство, используйте его следующим образом:

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

Обновление: исправлен синтаксис, предложенный Стивеном, свойства для корректности этого примера.