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

Jean-Noel Rouvignac
01.44.2013 0cea62907aa1c9179e359bacccf0b2692ca01d46
opends/src/server/org/opends/server/replication/server/ReplicationServer.java
@@ -760,7 +760,17 @@
    shutdownECL();
    this.changelogDB.shutdownDB();
    try
    {
      this.changelogDB.shutdownDB();
    }
    catch (ChangelogException ignored)
    {
      if (debugEnabled())
      {
        TRACER.debugCaught(DebugLogLevel.WARNING, ignored);
      }
    }
    // Remove this instance from the global instance list
    allInstances.remove(this);
@@ -1106,14 +1116,6 @@
  }
  /**
   * Removes the changelog database directory.
   */
  public void removeDb()
  {
    this.changelogDB.removeDB();
  }
  /**
   * {@inheritDoc}
   */
  @Override