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

kenneth_suter
31.55.2007 aa13314e109575f7d5b41b42f5144910ea7e6202
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8348,7 +8348,11 @@
    }
    // Finalize the entry cache.
    DirectoryServer.getEntryCache().finalizeEntryCache();
    EntryCache ec = DirectoryServer.getEntryCache();
    if (ec != null)
    {
      ec.finalizeEntryCache();
    }
    // Release the exclusive lock for the Directory Server process.
    String lockFile = LockFileManager.getServerLockFileName();