mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/core/DirectoryServer.java @@ -6801,7 +6801,7 @@ { try { monitor.processServerShutdown(reason); monitor.finalizeMonitorProvider(); } catch (Exception e) {