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

neil_a_wilson
16.45.2006 2518a13dca43c0227a982e429ed83fda8d6110c4
opends/src/server/org/opends/server/core/LockFileManager.java
@@ -121,7 +121,7 @@
      // We don't hold a lock on the file so we need to create it.  First,
      // create the file only if it doesn't already exist.
      File f = new File(lockFile);
      File f = getFileForPath(lockFile);
      try
      {
        if (! f.exists())
@@ -240,7 +240,7 @@
      // We don't hold a lock on the file so we need to create it.  First,
      // create the file only if it doesn't already exist.
      File f = new File(lockFile);
      File f = getFileForPath(lockFile);
      try
      {
        if (! f.exists())