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

Matthew Swift
04.15.2013 4ea91789ca6aa8c976213ecc821aeda683f88872
opendj-sdk/opends/src/server/org/opends/server/replication/server/ReplicationServerDomain.java
@@ -1823,7 +1823,7 @@
   */
  public void shutdown()
  {
    DirectoryServer.deregisterMonitorProvider(getMonitorInstanceName());
    DirectoryServer.deregisterMonitorProvider(this);
    // Terminate the assured timer
    assuredTimeoutTimer.cancel();