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

neil_a_wilson
09.57.2006 8117c910d984295ef39159631f264023f0b3e6b5
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -6801,7 +6801,7 @@
    {
      try
      {
        monitor.processServerShutdown(reason);
        monitor.finalizeMonitorProvider();
      }
      catch (Exception e)
      {