(prepare_to_modify_buffer): Use file_truename for locking.
authorRichard M. Stallman <rms@gnu.org>
Tue, 2 May 1995 18:13:47 +0000 (18:13 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 2 May 1995 18:13:47 +0000 (18:13 +0000)
src/insdel.c

index 449bfc5..bf4a7e7 100644 (file)
@@ -706,9 +706,9 @@ prepare_to_modify_buffer (start, end)
     verify_interval_modification (current_buffer, start, end);
 
 #ifdef CLASH_DETECTION
-  if (!NILP (current_buffer->filename)
+  if (!NILP (current_buffer->file_truename)
       && SAVE_MODIFF >= MODIFF)
-    lock_file (current_buffer->filename);
+    lock_file (current_buffer->file_truename);
 #else
   /* At least warn if this file has changed on disk since it was visited.  */
   if (!NILP (current_buffer->filename)