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

Jean-Noel Rouvignac
06.12.2014 2cf4412179a4ca8610d7fbb2108040377290bf82
opends/src/server/org/opends/server/replication/service/ReplicationBroker.java
@@ -2802,10 +2802,10 @@
    synchronized (startStopLock)
    {
      stopChangeTimeHeartBeatPublishing();
      stopRSHeartBeatMonitoring();
      shutdown = true;
      setConnectedRS(ConnectedRS.stopped());
      stopRSHeartBeatMonitoring();
      stopChangeTimeHeartBeatPublishing();
      deregisterReplicationMonitor();
    }
  }