jdk/src/share/classes/sun/management/Agent.java
changeset 21298 d8a11a962ee3
parent 17721 1d6516794d05
child 23010 6dadb192ad81
--- a/jdk/src/share/classes/sun/management/Agent.java	Sat Oct 19 17:53:44 2013 +0100
+++ b/jdk/src/share/classes/sun/management/Agent.java	Sat Oct 19 20:59:42 2013 +0400
@@ -323,7 +323,7 @@
                     : String.format(
                     "service:jmx:rmi:///jndi/rmi://%s:%s/jmxrmi", hostname, jmxremotePort);
 
-            String instanceName = System.getProperty("com.sun.management.jdp.name");
+            String instanceName = props.getProperty("com.sun.management.jdp.name");
 
             try{
                JdpController.startDiscoveryService(address, port, instanceName, jmxUrlStr);