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

gbellato
05.24.2007 a2cc5074ef66ab4f0da0d4d5a7e7e885798abc19
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())