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

Matthew Swift
04.15.2013 4ea91789ca6aa8c976213ecc821aeda683f88872
opendj-sdk/opends/src/server/org/opends/server/replication/server/DbHandler.java
@@ -155,8 +155,7 @@
        + ") for domain \"" + baseDn + "\"");
    thread.start();
    DirectoryServer.deregisterMonitorProvider(
                      dbMonitor.getMonitorInstanceName());
    DirectoryServer.deregisterMonitorProvider(dbMonitor);
    DirectoryServer.registerMonitorProvider(dbMonitor);
  }
@@ -338,8 +337,7 @@
      flush();
    db.shutdown();
    DirectoryServer.deregisterMonitorProvider(
        dbMonitor.getMonitorInstanceName());
    DirectoryServer.deregisterMonitorProvider(dbMonitor);
  }
  /**