# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 927537546 0
# Node ID 0895c669be5e167aac46d9adae35a0ca45133491
# Parent  8f4601c1e4e50d42c2935459a740c5a429dd4338
(lock_if_free): After deleting a stale lock,
try again to lock the file.

diff -r 8f4601c1e4e5 -r 0895c669be5e src/filelock.c
--- a/src/filelock.c	Mon May 24 09:03:05 1999 +0000
+++ b/src/filelock.c	Mon May 24 09:19:06 1999 +0000
@@ -521,7 +521,7 @@
      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 @@
       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;
 }