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

gbellato
27.34.2009 a733cedcf54ab0b979f7f1b762d086e49bd59d72
opends/src/server/org/opends/server/replication/server/ExternalChangeLogSessionImpl.java
@@ -93,6 +93,6 @@
  public void close()
  {
    if (handler.getDomain() != null)
      handler.getDomain().stopServer(handler);
      handler.getDomain().stopServer(handler, false);
  }
}