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

pgamba
24.02.2007 8b4973136d968e73da7ea082ae0f6e39b220e5c8
opends/src/server/org/opends/server/replication/plugin/HeartbeatMonitor.java
@@ -116,7 +116,7 @@
        if (now > lastReceiveTime + 2 * heartbeatInterval)
        {
          // Heartbeat is well overdue so the server is assumed to be dead.
          logError(NOTE_HEARTBEAT_FAILURE.get(this.currentThread().getName()));
          logError(NOTE_HEARTBEAT_FAILURE.get(currentThread().getName()));
          session.close();
          break;
        }