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

gbellato
05.36.2007 8d3bc0c156b478950741452a4b518c5659b26ae8
opends/src/server/org/opends/server/replication/plugin/ReplicationBroker.java
@@ -727,7 +727,10 @@
  public void setSoTimeout(int timeout) throws SocketException
  {
    this.timeout = timeout;
    session.setSoTimeout(timeout);
    if (session != null)
    {
      session.setSoTimeout(timeout);
    }
  }
  /**