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

pgamba
19.56.2009 9f6142d16669ab52980d41520298c78522ee8eef
opendj-sdk/opends/src/server/org/opends/server/replication/server/ExternalChangeLogSessionImpl.java
@@ -92,6 +92,7 @@
   */
  public void close()
  {
    handler.getDomain().stopServer(handler);
    if (handler.getDomain() != null)
      handler.getDomain().stopServer(handler);
  }
}