mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

neil_a_wilson
08.27.2007 4a4a8540f0b64feff6934c3215c6f896c9561c7d
opends/src/server/org/opends/server/protocols/jmx/JmxClientConnection.java
@@ -22,7 +22,7 @@
 * CDDL HEADER END
 *
 *
 *      Portions Copyright 2006 Sun Microsystems, Inc.
 *      Portions Copyright 2006-2007 Sun Microsystems, Inc.
 */
package org.opends.server.protocols.jmx;
@@ -895,6 +895,7 @@
      return;
    }
    disconnectStarted = true ;
    finalizeConnectionInternal();
@@ -1144,6 +1145,7 @@
   */
  protected void finalize()
  {
    super.finalize();
    disconnect(DisconnectReason.OTHER, false, null, -1);
  }
}