| opendj-server-legacy/src/main/java/org/opends/server/core/DirectoryServer.java | ●●●●● patch | view | raw | blame | history |
opendj-server-legacy/src/main/java/org/opends/server/core/DirectoryServer.java
@@ -7033,6 +7033,7 @@ if (!LockFileManager.releaseLock(serverLockFileName, failureReason)) { logger.info(NOTE_SERVER_SHUTDOWN, className, failureReason); } serverLocked = false; } catch (Exception e) { logger.traceException(e); }