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

Matthew Swift
04.15.2013 aa2e7c321ca330792a6c2a7c41efd923bb1270af
opends/src/server/org/opends/server/replication/server/ServerHandler.java
@@ -393,7 +393,7 @@
      }
    }
    DirectoryServer.deregisterMonitorProvider(getMonitorInstanceName());
    DirectoryServer.deregisterMonitorProvider(this);
    DirectoryServer.registerMonitorProvider(this);
  }
@@ -1074,7 +1074,7 @@
      heartbeatThread.shutdown();
    }
    DirectoryServer.deregisterMonitorProvider(getMonitorInstanceName());
    DirectoryServer.deregisterMonitorProvider(this);
    /*
     * Be sure to wait for ServerWriter and ServerReader death