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

neil_a_wilson
09.54.2006 06e8f819bcda0d7162d662af94c6ade794e1cfe6
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -90,6 +90,7 @@
import org.opends.server.extensions.JMXAlertHandler;
import org.opends.server.loggers.StartupDebugLogger;
import org.opends.server.loggers.StartupErrorLogger;
import org.opends.server.monitors.BackendMonitor;
import org.opends.server.schema.AttributeTypeSyntax;
import org.opends.server.schema.BinarySyntax;
import org.opends.server.schema.BooleanEqualityMatchingRule;
@@ -5300,6 +5301,11 @@
      {
        newBackends.put(backendID, backend);
        directoryServer.backends = newBackends;
        BackendMonitor monitor = new BackendMonitor(backend);
        monitor.initializeMonitorProvider(null);
        backend.setBackendMonitor(monitor);
        registerMonitorProvider(monitor);
      }
    }
  }
@@ -5327,6 +5333,14 @@
      newBackends.remove(backend.getBackendID());
      directoryServer.backends = newBackends;
      BackendMonitor monitor = backend.getBackendMonitor();
      if (monitor != null)
      {
        String instanceName = toLowerCase(monitor.getMonitorInstanceName());
        deregisterMonitorProvider(instanceName);
        monitor.finalizeMonitorProvider();
      }
    }
  }