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

mrossign
18.13.2008 a719d21181a3b1c98c16bc677e892cf67fed4e7f
opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -656,6 +656,7 @@
    }
    rcvWindow = configuration.getWindowSize();
    assuredTimeout = configuration.getAssuredTimeout();
    // changing the listen port requires to stop the listen thread
    // and restart it.