changeset 11658:304577bc9b51

(Finsert_file_contents): Use file_truename for unlocking.
author Richard M. Stallman <rms@gnu.org>
date Tue, 02 May 1995 18:15:54 +0000
parents ab5f12280452
children f9b6e65774e7
files src/fileio.c
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/fileio.c	Tue May 02 18:13:47 1995 +0000
+++ b/src/fileio.c	Tue May 02 18:15:54 1995 +0000
@@ -3056,8 +3056,8 @@
 #ifdef CLASH_DETECTION
       if (NILP (handler))
 	{
-	  if (!NILP (current_buffer->filename))
-	    unlock_file (current_buffer->filename);
+	  if (!NILP (current_buffer->file_truename))
+	    unlock_file (current_buffer->file_truename);
 	  unlock_file (filename);
 	}
 #endif /* CLASH_DETECTION */