0

我正在使用 Jetty 配置文件,并且我想使用之前定义的属性中的“jetty.jmxrmiport”。

目前,我正在使用:

<SystemProperty name="jetty.jmxrmiport" default="1099"/>

我想使用变量而不是1099. 就像 in 一样propertyplaceholderconfigurer,我们可以使用{$abc}.

有什么方法可以在这里使用属性吗?

4

1 回答 1

0

"jetty.jmxrmiport"是标准系统属性的名称。

-Djetty.jmxrmiport=4099如果你希望它是一个不同的值,你可以开始码头。

于 2013-08-12T20:18:21.747 回答