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

fdorson
03.30.2008 c3b3c95ffb78611020b1affce1db4bcf326896db
opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java
@@ -697,7 +697,6 @@
        }
      } // For late servers
    }
    return bestServer;
  }
@@ -1001,7 +1000,7 @@
    try
    {
      rcvWindow--;
      if (rcvWindow < halfRcvWindow)
      if ((rcvWindow < halfRcvWindow) && (session != null))
      {
        session.publish(new WindowMessage(halfRcvWindow));
        rcvWindow += halfRcvWindow;
@@ -1196,9 +1195,10 @@
    this.maxReceiveQueue = maxReceiveQueue;
    this.maxSendDelay = maxSendDelay;
    this.maxSendQueue = maxSendQueue;
  // 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
    // For info, a new session with the replicationServer
    // will be recreated in the replication domain
    // to take into account the new configuration.
  }
  /**