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

German Parente
27.14.2012 d55df2366f9f3af5b19409894dd2c521350886d8
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8337,6 +8337,22 @@
      ec.finalizeEntryCache();
    }
    // Release exclusive lock held on server.lock file
    String serverLockFileName = LockFileManager.getServerLockFileName();
    StringBuilder failureReason = new StringBuilder();
    try {
        if (!LockFileManager.releaseLock(serverLockFileName,
                failureReason)) {
            message = NOTE_SERVER_SHUTDOWN.get(className, failureReason);
            logError(message);
        }
    } catch (Exception e) {
        if (debugEnabled()) {
            TRACER.debugCaught(DebugLogLevel.ERROR, e);
        }
    }
    // Deregister all workflows.
    WorkflowImpl.deregisterAllOnShutdown();