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

pgamba
16.18.2008 3c28ac1da834ff4277acd90af6713bedf2fa2e85
opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java
@@ -1018,6 +1018,7 @@
   */
  public void stop()
  {
    stopHeartBeat();
    replicationServer = "stopped";
    shutdown = true;
    connected = false;