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

gbellato
15.56.2008 d619040017d79901e3bab986323172b0ddaf0b35
opends/src/server/org/opends/server/replication/plugin/HeartbeatMonitor.java
@@ -22,7 +22,7 @@
 * CDDL HEADER END
 *
 *
 *      Portions Copyright 2007 Sun Microsystems, Inc.
 *      Portions Copyright 2007-2008 Sun Microsystems, Inc.
 */
package org.opends.server.replication.plugin;
@@ -121,12 +121,12 @@
            // Heartbeat is well overdue so the server is assumed to be dead.
            logError(NOTE_HEARTBEAT_FAILURE.get(currentThread().getName()));
            session.close();
            break;
          }
          else
          {
            gotOneFailure = true;
          }
          break;
        }
        else
        {