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

fdorson
03.11.2008 98fa32c5631887c8e8cdc87dfc564dc0af2d0990
opendj-sdk/opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java
@@ -697,6 +697,7 @@
        }
      } // For late servers
    }
    return bestServer;
  }
@@ -1000,7 +1001,7 @@
    try
    {
      rcvWindow--;
      if ((rcvWindow < halfRcvWindow) && (session != null))
      if (rcvWindow < halfRcvWindow)
      {
        session.publish(new WindowMessage(halfRcvWindow));
        rcvWindow += halfRcvWindow;
@@ -1195,10 +1196,9 @@
    this.maxReceiveQueue = maxReceiveQueue;
    this.maxSendDelay = maxSendDelay;
    this.maxSendQueue = maxSendQueue;
    // For info, a new session with the replicationServer
    // will be recreated in the replication domain
    // to take into account the new configuration.
  // TODO : Changing those parameters requires to either restart a new
  // session with the replicationServer or renegociate the parameters that
  // were sent in the ServerStart message
  }
  /**