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

gbellato
27.34.2009 a733cedcf54ab0b979f7f1b762d086e49bd59d72
opends/src/server/org/opends/server/replication/server/ECLServerWriter.java
@@ -194,7 +194,7 @@
        }
      }
      if (replicationServerDomain!=null)
        replicationServerDomain.stopServer(handler);
        replicationServerDomain.stopServer(handler, false);
    }
  }