我正在使用Jetty配置文件,我想使用之前定义的属性中的“jetty.jmxrmiport”。
目前,我正在使用:
<SystemProperty name="jetty.jmxrmiport" default="1099"/>
我想使用变量而不是1099
。与propertyplaceholderconfigurer
中一样,我们可以使用{$abc}
。
有没有办法在这里使用房产?
答案 0 :(得分:0)
"jetty.jmxrmiport"
是标准系统属性的名称。
如果您想让它成为不同的值,可以使用-Djetty.jmxrmiport=4099
启动码头。