Amnon Heiman 7255b7847e JMX run scripts: Set the rmi port to listen on the jmx port ... This set the rmi port to listen on the jmx port, so the java will not choose a random port for it. Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com> Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>		2015-09-22 10:19:53 +03:00
..
jmx_run	JMX run scripts: Set the rmi port to listen on the jmx port	2015-09-22 10:19:53 +03:00