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

pgamba
01.21.2008 40e2acfd1e9676f3b63385b15075bf1395d4543e
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);
      }
    }