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

gbellato
09.15.2006 7b84e53457bce1f0733afa87797afc9928568c52
opendj-sdk/opends/src/server/org/opends/server/changelog/SocketSession.java
@@ -30,6 +30,7 @@
import java.io.InputStream;
import java.io.OutputStream;
import java.net.Socket;
import java.net.SocketException;
import java.util.zip.DataFormatException;
import org.opends.server.synchronization.SynchronizationMessage;
@@ -128,4 +129,12 @@
  {
    return socket.getInetAddress().getHostAddress();
  }
  /**
   * {@inheritDoc}
   */
  public void setSoTimeout(int timeout) throws SocketException
  {
    socket.setSoTimeout(timeout);
  }
}