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

Jean-Noel Rouvignac
16.15.2014 3445ee99fe05335b8cf9bb615e6fd0f8cf8e51c6
opendj-sdk/opendj3-server-dev/src/server/org/opends/server/replication/service/ReplicationBroker.java
@@ -2777,10 +2777,10 @@
    synchronized (startStopLock)
    {
      stopChangeTimeHeartBeatPublishing();
      stopRSHeartBeatMonitoring();
      shutdown = true;
      setConnectedRS(ConnectedRS.stopped());
      stopRSHeartBeatMonitoring();
      stopChangeTimeHeartBeatPublishing();
      deregisterReplicationMonitor();
    }
  }