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

gbellato
05.24.2007 dc1ee0335a6bace8b0ffc4facc2327af7b129b62
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java
@@ -773,6 +773,8 @@
    replicationServer = "stopped";
    shutdown = true;
    connected = false;
    if (heartbeatMonitor!= null)
      heartbeatMonitor.shutdown();
    try
    {
      if (debugEnabled())