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

pgamba
12.41.2007 3c6f0907b969155053e9a1b5bd7f0e618e108ff7
opendj-sdk/opends/src/server/org/opends/server/replication/server/ServerReader.java
@@ -46,6 +46,7 @@
import org.opends.server.replication.protocol.UpdateMessage;
import org.opends.server.replication.protocol.WindowMessage;
import org.opends.server.replication.protocol.WindowProbe;
import org.opends.server.replication.protocol.ReplServerInfoMessage;
import org.opends.server.types.ErrorLogCategory;
import org.opends.server.types.ErrorLogSeverity;
import org.opends.server.loggers.debug.DebugTracer;
@@ -165,6 +166,11 @@
          WindowProbe windowProbeMsg = (WindowProbe) msg;
          handler.process(windowProbeMsg);
        }
        else if (msg instanceof ReplServerInfoMessage)
        {
          ReplServerInfoMessage infoMsg = (ReplServerInfoMessage)msg;
          handler.setReplServerInfo(infoMsg);
        }
        else if (msg == null)
        {
          /*