(lock_if_free): After deleting a stale lock,
authorRichard M. Stallman <rms@gnu.org>
Mon, 24 May 1999 09:19:06 +0000 (09:19 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 24 May 1999 09:19:06 +0000 (09:19 +0000)
try again to lock the file.

src/filelock.c

index f5e4fb8..2f880d1 100644 (file)
@@ -521,7 +521,7 @@ lock_if_free (clasher, lfname)
      lock_info_type *clasher;
      register char *lfname; 
 {
-  if (lock_file_1 (lfname, 0) == 0)
+  while (lock_file_1 (lfname, 0) == 0)
     {
       int locker;
 
@@ -537,7 +537,7 @@ lock_if_free (clasher, lfname)
       else if (locker == 1)
         return 1;  /* Someone else has it.  */
 
-      return -1; /* Something's wrong.  */
+      /* We deleted a stale lock; try again to lock the file.  */
     }
   return 0;
 }