IDEX-3409: Reconfigure ports for JMX/RMI server
It's a common configuration in server.xml that needed for specific use cases e.g. start Che on ws-agent and in this case you should have ws-agent with different JMX/RMI ports configuration. Signed-off-by: Anton Korneta <akorneta@codenvy.com>6.19.x
parent
f325949cbc
commit
f02876a5ee
|
|
@ -31,8 +31,8 @@
|
||||||
<Listener className="org.apache.catalina.core.JreMemoryLeakPreventionListener" />
|
<Listener className="org.apache.catalina.core.JreMemoryLeakPreventionListener" />
|
||||||
<Listener className="org.apache.catalina.mbeans.GlobalResourcesLifecycleListener" />
|
<Listener className="org.apache.catalina.mbeans.GlobalResourcesLifecycleListener" />
|
||||||
<Listener className="org.apache.catalina.core.ThreadLocalLeakPreventionListener" />
|
<Listener className="org.apache.catalina.core.ThreadLocalLeakPreventionListener" />
|
||||||
<Listener className="org.apache.catalina.mbeans.JmxRemoteLifecycleListener" rmiRegistryPortPlatform="32001"
|
<Listener className="org.apache.catalina.mbeans.JmxRemoteLifecycleListener" rmiRegistryPortPlatform="32002"
|
||||||
rmiServerPortPlatform="32101"/>
|
rmiServerPortPlatform="32102"/>
|
||||||
|
|
||||||
<!-- Global JNDI resources
|
<!-- Global JNDI resources
|
||||||
Documentation at /docs/jndi-resources-howto.html
|
Documentation at /docs/jndi-resources-howto.html
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue