mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Nicolas Capponi
29.30.2014 a06fd90c9b6bfb5f9130146373ba18e5769593b6 
 opendj3-server-dev/src/server/org/opends/server/replication/service/HeartbeatMonitor.java


@@ -28,7 +28,6 @@


package org.opends.server.replication.service;




import static org.opends.messages.ReplicationMessages.*;


import static org.opends.server.loggers.ErrorLogger.logError;


import org.forgerock.i18n.slf4j.LocalizedLogger;


import org.opends.server.replication.protocol.Session;




@@ -135,7 +134,7 @@


          if (gotOneFailure)


          {


            // Heartbeat is well overdue so the server is assumed to be dead.


            logError(WARN_HEARTBEAT_FAILURE.get(serverID,


            logger.warn(WARN_HEARTBEAT_FAILURE.get(serverID,


                replicationServerID, session.getReadableRemoteAddress(),


                baseDN));