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

pgamba
01.21.2008 05d24dcca61eed7921987a98bb94d94a4aa030cd
opendj-sdk/opends/src/server/org/opends/server/replication/server/ServerWriter.java
@@ -120,6 +120,7 @@
          continue;
        }
        /*
        if (debugEnabled())
        {
          TRACER.debugInfo(
@@ -131,6 +132,7 @@
            " server=" + handler.getServerId() +
            " generationId=" + handler.getGenerationId());
        }
        */
        session.publish(update);
      }
    }