# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 894901948 0
# Node ID 7620443f1878693d1ce6f483269b861d4b0316c2
# Parent  639be14b80ef06c7b603ac0de753eb3e76583923
(unlock_file): Encode the file name.

diff -r 639be14b80ef -r 7620443f1878 src/filelock.c
--- a/src/filelock.c	Mon May 11 15:48:24 1998 +0000
+++ b/src/filelock.c	Mon May 11 15:52:28 1998 +0000
@@ -429,6 +429,7 @@
   register char *lfname;
 
   fn = Fexpand_file_name (fn, Qnil);
+  fn = ENCODE_FILE (fn);
 
   MAKE_LOCK_NAME (lfname, fn);