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

neil_a_wilson
16.44.2006 cf77becb4893685f0dd67e76724aa366b6d8f039
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -6728,6 +6728,13 @@
    }
    // Shut down all of the alert handlers.
    for (AlertHandler alertHandler : directoryServer.alertHandlers)
    {
      alertHandler.finalizeAlertHandler();
    }
    // Deregister all of the JMX MBeans.
    Set mBeanSet = directoryServer.mBeanServer.queryMBeans(null, null);
    for (Object o : mBeanSet)