Mercurial > emacs
annotate src/filelock.c @ 21353:2cdadff1ea25
(report-emacs-bug-hook): Don't bind enable-multibyte-characters.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Sat, 04 Apr 1998 00:07:57 +0000 |
| parents | 50929073a0ba |
| children | edf1091d8a60 |
| rev | line source |
|---|---|
| 16802 | 1 /* Copyright (C) 1985, 86, 87, 93, 94, 96 Free Software Foundation, Inc. |
| 163 | 2 |
| 3 This file is part of GNU Emacs. | |
| 4 | |
| 5 GNU Emacs is free software; you can redistribute it and/or modify | |
| 6 it under the terms of the GNU General Public License as published by | |
| 624 | 7 the Free Software Foundation; either version 2, or (at your option) |
| 163 | 8 any later version. |
| 9 | |
| 10 GNU Emacs is distributed in the hope that it will be useful, | |
| 11 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 13 GNU General Public License for more details. | |
| 14 | |
| 15 You should have received a copy of the GNU General Public License | |
| 16 along with GNU Emacs; see the file COPYING. If not, write to | |
|
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
14075
diff
changeset
|
17 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, |
|
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
14075
diff
changeset
|
18 Boston, MA 02111-1307, USA. */ |
| 163 | 19 |
| 20 | |
| 21 #include <sys/types.h> | |
| 22 #include <sys/stat.h> | |
|
4696
1fc792473491
Include <config.h> instead of "config.h".
Roland McGrath <roland@gnu.org>
parents:
4680
diff
changeset
|
23 #include <config.h> |
| 372 | 24 |
| 25 #ifdef VMS | |
| 559 | 26 #include "vms-pwd.h" |
| 372 | 27 #else |
| 163 | 28 #include <pwd.h> |
| 16802 | 29 #endif /* not VMS */ |
| 372 | 30 |
| 163 | 31 #include <sys/file.h> |
| 32 #ifdef USG | |
| 33 #include <fcntl.h> | |
| 16802 | 34 #include <string.h> |
| 163 | 35 #endif /* USG */ |
| 36 | |
| 37 #include "lisp.h" | |
| 38 #include "buffer.h" | |
| 39 | |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
40 #include <time.h> |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
41 #include <utmp.h> |
| 16802 | 42 #include <errno.h> |
| 43 #ifndef errno | |
| 163 | 44 extern int errno; |
|
4272
41c85882768c
(getpwuid): Declare at top level, and not if __386bsd__.
Richard M. Stallman <rms@gnu.org>
parents:
3602
diff
changeset
|
45 #endif |
|
41c85882768c
(getpwuid): Declare at top level, and not if __386bsd__.
Richard M. Stallman <rms@gnu.org>
parents:
3602
diff
changeset
|
46 |
| 163 | 47 #ifdef CLASH_DETECTION |
| 48 | |
| 16802 | 49 /* The strategy: to lock a file FN, create a symlink .#FN in FN's |
| 50 directory, with link data `user@host.pid'. This avoids a single | |
| 51 mount (== failure) point for lock files. | |
| 163 | 52 |
| 16802 | 53 When the host in the lock data is the current host, we can check if |
| 54 the pid is valid with kill. | |
| 55 | |
| 56 Otherwise, we could look at a separate file that maps hostnames to | |
| 57 reboot times to see if the remote pid can possibly be valid, since we | |
| 58 don't want Emacs to have to communicate via pipes or sockets or | |
| 59 whatever to other processes, either locally or remotely; rms says | |
| 60 that's too unreliable. Hence the separate file, which could | |
| 61 theoretically be updated by daemons running separately -- but this | |
| 62 whole idea is unimplemented; in practice, at least in our | |
| 17165 | 63 environment, it seems such stale locks arise fairly infrequently, and |
| 16802 | 64 Emacs' standard methods of dealing with clashes suffice. |
| 624 | 65 |
| 16802 | 66 We use symlinks instead of normal files because (1) they can be |
| 67 stored more efficiently on the filesystem, since the kernel knows | |
| 68 they will be small, and (2) all the info about the lock can be read | |
| 69 in a single system call (readlink). Although we could use regular | |
| 17165 | 70 files to be useful on old systems lacking symlinks, nowadays |
| 16802 | 71 virtually all such systems are probably single-user anyway, so it |
| 72 didn't seem worth the complication. | |
| 73 | |
| 74 Similarly, we don't worry about a possible 14-character limit on | |
| 75 file names, because those are all the same systems that don't have | |
| 76 symlinks. | |
| 77 | |
| 78 This is compatible with the locking scheme used by Interleaf (which | |
| 79 has contributed this implementation for Emacs), and was designed by | |
| 80 Ethan Jacobson, Kimbo Mundy, and others. | |
| 81 | |
| 82 --karl@cs.umb.edu/karl@hq.ileaf.com. */ | |
| 624 | 83 |
| 16802 | 84 |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
85 /* Return the time of the last system boot. */ |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
86 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
87 static time_t boot_time; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
88 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
89 static time_t |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
90 get_boot_time () |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
91 { |
|
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
92 #ifdef BOOT_TIME |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
93 struct utmp ut, *utp; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
94 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
95 if (boot_time) |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
96 return boot_time; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
97 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
98 utmpname ("/var/log/wtmp"); |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
99 ut.ut_type = BOOT_TIME; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
100 utp = getutid (&ut); |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
101 endutent (); |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
102 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
103 if (!utp) |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
104 return boot_time = 1; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
105 return boot_time = utp->ut_time; |
|
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
106 #else |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
107 return 0; |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
108 #endif; |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
109 } |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
110 |
| 16802 | 111 /* Here is the structure that stores information about a lock. */ |
|
3537
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
112 |
| 16802 | 113 typedef struct |
| 114 { | |
| 115 char *user; | |
| 116 char *host; | |
|
16816
9bdccdf9388b
(lock_info_type): Declare pid as unsigned long instead of int.
Richard M. Stallman <rms@gnu.org>
parents:
16802
diff
changeset
|
117 unsigned long pid; |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
118 time_t boot_time; |
| 16802 | 119 } lock_info_type; |
|
3537
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
120 |
|
16844
f919de623142
(LOCK_PID_MAX): Use sizeof (unsigned long) instead of hardwiring 21.
Richard M. Stallman <rms@gnu.org>
parents:
16816
diff
changeset
|
121 /* When we read the info back, we might need this much more, |
|
f919de623142
(LOCK_PID_MAX): Use sizeof (unsigned long) instead of hardwiring 21.
Richard M. Stallman <rms@gnu.org>
parents:
16816
diff
changeset
|
122 enough for decimal representation plus null. */ |
|
f919de623142
(LOCK_PID_MAX): Use sizeof (unsigned long) instead of hardwiring 21.
Richard M. Stallman <rms@gnu.org>
parents:
16816
diff
changeset
|
123 #define LOCK_PID_MAX (4 * sizeof (unsigned long)) |
| 16802 | 124 |
| 125 /* Free the two dynamically-allocated pieces in PTR. */ | |
| 126 #define FREE_LOCK_INFO(i) do { xfree ((i).user); xfree ((i).host); } while (0) | |
|
3537
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
127 |
|
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
128 |
| 16802 | 129 /* Write the name of the lock file for FN into LFNAME. Length will be |
| 130 that of FN plus two more for the leading `.#' plus one for the null. */ | |
|
9996
478f14a61aba
(lock_dir, superlock_file, MAKE_LOCK_NAME):
Richard M. Stallman <rms@gnu.org>
parents:
9992
diff
changeset
|
131 #define MAKE_LOCK_NAME(lock, file) \ |
|
21244
50929073a0ba
Use STRING_BYTES and SET_STRING_BYTES.
Richard M. Stallman <rms@gnu.org>
parents:
21223
diff
changeset
|
132 (lock = (char *) alloca (STRING_BYTES (XSTRING (file)) + 2 + 1), \ |
| 624 | 133 fill_in_lock_file_name (lock, (file))) |
| 134 | |
| 16802 | 135 static void |
| 624 | 136 fill_in_lock_file_name (lockfile, fn) |
| 137 register char *lockfile; | |
| 138 register Lisp_Object fn; | |
| 139 { | |
| 140 register char *p; | |
| 141 | |
| 16802 | 142 strcpy (lockfile, XSTRING (fn)->data); |
| 624 | 143 |
| 16802 | 144 /* Shift the nondirectory part of the file name (including the null) |
| 145 right two characters. Here is one of the places where we'd have to | |
| 146 do something to support 14-character-max file names. */ | |
| 147 for (p = lockfile + strlen (lockfile); p != lockfile && *p != '/'; p--) | |
| 148 p[2] = *p; | |
| 149 | |
| 150 /* Insert the `.#'. */ | |
| 151 p[1] = '.'; | |
| 152 p[2] = '#'; | |
| 624 | 153 } |
| 16802 | 154 |
| 155 /* Lock the lock file named LFNAME. | |
| 156 If FORCE is nonzero, we do so even if it is already locked. | |
| 157 Return 1 if successful, 0 if not. */ | |
| 624 | 158 |
| 16802 | 159 static int |
| 160 lock_file_1 (lfname, force) | |
| 161 char *lfname; | |
| 162 int force; | |
| 163 | 163 { |
| 16802 | 164 register int err; |
|
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
165 time_t boot_time; |
|
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
166 char *user_name; |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
167 char *host_name; |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
168 char *lock_info_str; |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
169 |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
170 if (STRINGP (Fuser_login_name (Qnil))) |
|
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
171 user_name = (char *)XSTRING (Fuser_login_name (Qnil))->data; |
|
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
172 else |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
173 user_name = ""; |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
174 if (STRINGP (Fsystem_name ())) |
|
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
175 host_name = (char *)XSTRING (Fsystem_name ())->data; |
|
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
176 else |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
177 host_name = ""; |
|
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
178 lock_info_str = (char *)alloca (strlen (user_name) + strlen (host_name) |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
179 + LOCK_PID_MAX + 5); |
| 163 | 180 |
|
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
181 boot_time = get_boot_time (); |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
182 if (boot_time) |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
183 sprintf (lock_info_str, "%s@%s.%lu:%lu", user_name, host_name, |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
184 (unsigned long) getpid (), (unsigned long) boot_time); |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
185 else |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
186 sprintf (lock_info_str, "%s@%s.%lu", user_name, host_name, |
|
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
187 (unsigned long) getpid ()); |
|
15797
24c31fcbcf97
(lock_file_owner_name): Always initialize the_pw.
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
188 |
| 16802 | 189 err = symlink (lock_info_str, lfname); |
| 190 if (errno == EEXIST && force) | |
| 191 { | |
| 192 unlink (lfname); | |
| 193 err = symlink (lock_info_str, lfname); | |
| 194 } | |
| 195 | |
| 196 return err == 0; | |
| 163 | 197 } |
| 198 | |
| 199 | |
| 16802 | 200 |
| 201 /* Return 0 if nobody owns the lock file LFNAME or the lock is obsolete, | |
| 202 1 if another process owns it (and set OWNER (if non-null) to info), | |
| 203 2 if the current process owns it, | |
| 204 or -1 if something is wrong with the locking mechanism. */ | |
| 205 | |
| 206 static int | |
| 207 current_lock_owner (owner, lfname) | |
| 208 lock_info_type *owner; | |
| 209 char *lfname; | |
| 210 { | |
| 211 #ifndef index | |
| 212 extern char *rindex (), *index (); | |
| 213 #endif | |
| 214 int o, p, len, ret; | |
| 215 int local_owner = 0; | |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
216 char *at, *dot, *colon; |
| 16802 | 217 char *lfinfo = 0; |
| 218 int bufsize = 50; | |
| 219 /* Read arbitrarily-long contents of symlink. Similar code in | |
| 220 file-symlink-p in fileio.c. */ | |
| 221 do | |
| 222 { | |
| 223 bufsize *= 2; | |
| 224 lfinfo = (char *) xrealloc (lfinfo, bufsize); | |
| 225 len = readlink (lfname, lfinfo, bufsize); | |
| 226 } | |
| 227 while (len >= bufsize); | |
| 228 | |
| 229 /* If nonexistent lock file, all is well; otherwise, got strange error. */ | |
| 230 if (len == -1) | |
| 231 { | |
| 232 xfree (lfinfo); | |
| 233 return errno == ENOENT ? 0 : -1; | |
| 234 } | |
| 235 | |
| 236 /* Link info exists, so `len' is its length. Null terminate. */ | |
| 237 lfinfo[len] = 0; | |
| 238 | |
| 239 /* Even if the caller doesn't want the owner info, we still have to | |
| 240 read it to determine return value, so allocate it. */ | |
| 241 if (!owner) | |
| 242 { | |
|
18707
23039b06955a
(current_lock_owner, lock_file_1): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
17165
diff
changeset
|
243 owner = (lock_info_type *) alloca (sizeof (lock_info_type)); |
| 16802 | 244 local_owner = 1; |
| 245 } | |
| 246 | |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
247 /* Parse USER@HOST.PID:BOOT_TIME. If can't parse, return -1. */ |
| 16802 | 248 /* The USER is everything before the first @. */ |
| 249 at = index (lfinfo, '@'); | |
| 250 dot = rindex (lfinfo, '.'); | |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
251 if (!at || !dot) |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
252 { |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
253 xfree (lfinfo); |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
254 return -1; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
255 } |
| 16802 | 256 len = at - lfinfo; |
| 257 owner->user = (char *) xmalloc (len + 1); | |
| 258 strncpy (owner->user, lfinfo, len); | |
| 259 owner->user[len] = 0; | |
| 260 | |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
261 /* The PID is everything from the last `.' to the `:'. */ |
| 16802 | 262 owner->pid = atoi (dot + 1); |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
263 colon = dot; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
264 while (*colon && *colon != ':') |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
265 colon++; |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
266 /* After the `:', if there is one, comes the boot time. */ |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
267 if (*colon == ':') |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
268 owner->boot_time = atoi (colon + 1); |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
269 else |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
270 owner->boot_time = 0; |
| 16802 | 271 |
| 272 /* The host is everything in between. */ | |
| 273 len = dot - at - 1; | |
| 274 owner->host = (char *) xmalloc (len + 1); | |
| 275 strncpy (owner->host, at + 1, len); | |
| 276 owner->host[len] = 0; | |
| 277 | |
| 278 /* We're done looking at the link info. */ | |
| 279 xfree (lfinfo); | |
| 280 | |
| 281 /* On current host? */ | |
|
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
282 if (STRINGP (Fsystem_name ()) |
|
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
283 && strcmp (owner->host, XSTRING (Fsystem_name ())->data) == 0) |
| 16802 | 284 { |
| 285 if (owner->pid == getpid ()) | |
| 286 ret = 2; /* We own it. */ | |
|
19058
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
287 else if (owner->pid > 0 |
|
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
288 && (kill (owner->pid, 0) >= 0 || errno == EPERM) |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
289 && (owner->boot_time == 0 |
|
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
290 || owner->boot_time == get_boot_time ())) |
| 16802 | 291 ret = 1; /* An existing process on this machine owns it. */ |
| 292 /* The owner process is dead or has a strange pid (<=0), so try to | |
| 293 zap the lockfile. */ | |
|
19058
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
294 else if (unlink (lfname) < 0) |
| 16802 | 295 ret = -1; |
|
19058
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
296 else |
|
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
297 ret = 0; |
| 16802 | 298 } |
| 299 else | |
| 300 { /* If we wanted to support the check for stale locks on remote machines, | |
| 301 here's where we'd do it. */ | |
| 302 ret = 1; | |
| 303 } | |
| 304 | |
| 305 /* Avoid garbage. */ | |
| 306 if (local_owner || ret <= 0) | |
| 307 { | |
| 308 FREE_LOCK_INFO (*owner); | |
| 309 } | |
| 310 return ret; | |
| 311 } | |
| 312 | |
| 313 | |
| 314 /* Lock the lock named LFNAME if possible. | |
| 315 Return 0 in that case. | |
| 316 Return positive if some other process owns the lock, and info about | |
| 317 that process in CLASHER. | |
| 318 Return -1 if cannot lock for any other reason. */ | |
| 319 | |
| 320 static int | |
| 321 lock_if_free (clasher, lfname) | |
| 322 lock_info_type *clasher; | |
| 323 register char *lfname; | |
| 324 { | |
|
19046
689f3dc973f9
(lock_if_free): Don't loop; for strange error, return -1.
Richard M. Stallman <rms@gnu.org>
parents:
18755
diff
changeset
|
325 if (lock_file_1 (lfname, 0) == 0) |
| 16802 | 326 { |
| 327 int locker; | |
| 328 | |
| 329 if (errno != EEXIST) | |
| 330 return -1; | |
| 331 | |
| 332 locker = current_lock_owner (clasher, lfname); | |
| 333 if (locker == 2) | |
| 334 { | |
| 335 FREE_LOCK_INFO (*clasher); | |
| 336 return 0; /* We ourselves locked it. */ | |
| 337 } | |
| 338 else if (locker == 1) | |
| 339 return 1; /* Someone else has it. */ | |
| 340 | |
|
19046
689f3dc973f9
(lock_if_free): Don't loop; for strange error, return -1.
Richard M. Stallman <rms@gnu.org>
parents:
18755
diff
changeset
|
341 return -1; /* Something's wrong. */ |
| 16802 | 342 } |
| 343 return 0; | |
| 344 } | |
| 345 | |
| 346 /* lock_file locks file FN, | |
| 163 | 347 meaning it serves notice on the world that you intend to edit that file. |
| 348 This should be done only when about to modify a file-visiting | |
| 349 buffer previously unmodified. | |
| 16802 | 350 Do not (normally) call this for a buffer already modified, |
| 163 | 351 as either the file is already locked, or the user has already |
| 352 decided to go ahead without locking. | |
| 353 | |
| 16802 | 354 When this returns, either the lock is locked for us, |
| 163 | 355 or the user has said to go ahead without locking. |
| 356 | |
| 16802 | 357 If the file is locked by someone else, this calls |
| 163 | 358 ask-user-about-lock (a Lisp function) with two arguments, |
| 16802 | 359 the file name and info about the user who did the locking. |
| 163 | 360 This function can signal an error, or return t meaning |
| 361 take away the lock, or return nil meaning ignore the lock. */ | |
| 362 | |
| 363 void | |
| 364 lock_file (fn) | |
| 16802 | 365 register Lisp_Object fn; |
| 163 | 366 { |
|
12811
11f5ce737c57
(lock_file): Use get_truename_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
12104
diff
changeset
|
367 register Lisp_Object attack, orig_fn; |
| 16802 | 368 register char *lfname, *locker; |
| 369 lock_info_type lock_info; | |
| 163 | 370 |
|
12811
11f5ce737c57
(lock_file): Use get_truename_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
12104
diff
changeset
|
371 orig_fn = fn; |
|
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
372 fn = Fexpand_file_name (fn, Qnil); |
|
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
373 |
| 16802 | 374 /* Create the name of the lock-file for file fn */ |
|
9996
478f14a61aba
(lock_dir, superlock_file, MAKE_LOCK_NAME):
Richard M. Stallman <rms@gnu.org>
parents:
9992
diff
changeset
|
375 MAKE_LOCK_NAME (lfname, fn); |
| 163 | 376 |
| 624 | 377 /* See if this file is visited and has changed on disk since it was |
| 378 visited. */ | |
| 163 | 379 { |
|
6499
e0bef61003ae
(lock_file): Use assignment, not initialization.
Karl Heuer <kwzh@gnu.org>
parents:
6300
diff
changeset
|
380 register Lisp_Object subject_buf; |
|
12811
11f5ce737c57
(lock_file): Use get_truename_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
12104
diff
changeset
|
381 subject_buf = get_truename_buffer (orig_fn); |
| 485 | 382 if (!NILP (subject_buf) |
| 383 && NILP (Fverify_visited_file_modtime (subject_buf)) | |
| 384 && !NILP (Ffile_exists_p (fn))) | |
| 163 | 385 call1 (intern ("ask-user-about-supersession-threat"), fn); |
| 386 } | |
| 387 | |
| 388 /* Try to lock the lock. */ | |
| 16802 | 389 if (lock_if_free (&lock_info, lfname) <= 0) |
| 390 /* Return now if we have locked it, or if lock creation failed */ | |
| 163 | 391 return; |
| 392 | |
| 393 /* Else consider breaking the lock */ | |
|
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
394 locker = (char *) alloca (strlen (lock_info.user) + strlen (lock_info.host) |
|
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
395 + LOCK_PID_MAX + 9); |
|
19335
e33cf4ba547c
(lock_file): Use %lu instead of %d in sprintf because
Richard M. Stallman <rms@gnu.org>
parents:
19216
diff
changeset
|
396 sprintf (locker, "%s@%s (pid %lu)", lock_info.user, lock_info.host, |
| 16802 | 397 lock_info.pid); |
| 398 FREE_LOCK_INFO (lock_info); | |
| 399 | |
| 400 attack = call2 (intern ("ask-user-about-lock"), fn, build_string (locker)); | |
| 485 | 401 if (!NILP (attack)) |
| 163 | 402 /* User says take the lock */ |
| 403 { | |
| 16802 | 404 lock_file_1 (lfname, 1); |
| 163 | 405 return; |
| 406 } | |
| 407 /* User says ignore the lock */ | |
| 408 } | |
| 409 | |
| 410 void | |
| 411 unlock_file (fn) | |
| 412 register Lisp_Object fn; | |
| 413 { | |
| 414 register char *lfname; | |
| 415 | |
|
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
416 fn = Fexpand_file_name (fn, Qnil); |
|
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
417 |
|
9996
478f14a61aba
(lock_dir, superlock_file, MAKE_LOCK_NAME):
Richard M. Stallman <rms@gnu.org>
parents:
9992
diff
changeset
|
418 MAKE_LOCK_NAME (lfname, fn); |
| 163 | 419 |
| 16802 | 420 if (current_lock_owner (0, lfname) == 2) |
| 163 | 421 unlink (lfname); |
| 422 } | |
| 423 | |
| 424 void | |
| 425 unlock_all_files () | |
| 426 { | |
| 427 register Lisp_Object tail; | |
| 428 register struct buffer *b; | |
| 429 | |
|
9949
e9d341f235ee
(unlock_all_files): Use the new type-test macros.
Karl Heuer <kwzh@gnu.org>
parents:
9130
diff
changeset
|
430 for (tail = Vbuffer_alist; GC_CONSP (tail); tail = XCONS (tail)->cdr) |
| 163 | 431 { |
| 432 b = XBUFFER (XCONS (XCONS (tail)->car)->cdr); | |
|
10752
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
433 if (STRINGP (b->file_truename) && BUF_SAVE_MODIFF (b) < BUF_MODIFF (b)) |
|
20131
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
434 { |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
435 register char *lfname; |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
436 |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
437 MAKE_LOCK_NAME (lfname, b->file_truename); |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
438 |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
439 if (current_lock_owner (0, lfname) == 2) |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
440 unlink (lfname); |
|
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
441 } |
| 163 | 442 } |
| 443 } | |
| 444 | |
| 445 DEFUN ("lock-buffer", Flock_buffer, Slock_buffer, | |
| 446 0, 1, 0, | |
| 447 "Lock FILE, if current buffer is modified.\n\ | |
| 448 FILE defaults to current buffer's visited file,\n\ | |
| 449 or else nothing is done if current buffer isn't visiting a file.") | |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
450 (file) |
|
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
451 Lisp_Object file; |
| 163 | 452 { |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
453 if (NILP (file)) |
|
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
454 file = current_buffer->file_truename; |
| 163 | 455 else |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
456 CHECK_STRING (file, 0); |
|
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
457 if (SAVE_MODIFF < MODIFF |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
458 && !NILP (file)) |
|
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
459 lock_file (file); |
| 163 | 460 return Qnil; |
| 461 } | |
| 462 | |
| 463 DEFUN ("unlock-buffer", Funlock_buffer, Sunlock_buffer, | |
| 464 0, 0, 0, | |
| 465 "Unlock the file visited in the current buffer,\n\ | |
| 466 if it should normally be locked.") | |
| 467 () | |
| 468 { | |
|
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
469 if (SAVE_MODIFF < MODIFF |
|
10752
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
470 && STRINGP (current_buffer->file_truename)) |
|
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
471 unlock_file (current_buffer->file_truename); |
| 163 | 472 return Qnil; |
| 473 } | |
| 474 | |
| 475 /* Unlock the file visited in buffer BUFFER. */ | |
| 476 | |
|
20369
37caaa295d69
(unlock_buffer): Declare it as void.
Kenichi Handa <handa@m17n.org>
parents:
20131
diff
changeset
|
477 void |
| 163 | 478 unlock_buffer (buffer) |
| 479 struct buffer *buffer; | |
| 480 { | |
|
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
481 if (BUF_SAVE_MODIFF (buffer) < BUF_MODIFF (buffer) |
|
10752
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
482 && STRINGP (buffer->file_truename)) |
|
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
483 unlock_file (buffer->file_truename); |
| 163 | 484 } |
| 485 | |
| 486 DEFUN ("file-locked-p", Ffile_locked_p, Sfile_locked_p, 0, 1, 0, | |
| 487 "Return nil if the FILENAME is not locked,\n\ | |
| 488 t if it is locked by you, else a string of the name of the locker.") | |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
489 (filename) |
|
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
490 Lisp_Object filename; |
| 163 | 491 { |
| 16802 | 492 Lisp_Object ret; |
| 163 | 493 register char *lfname; |
| 494 int owner; | |
| 16802 | 495 lock_info_type locker; |
| 163 | 496 |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
497 filename = Fexpand_file_name (filename, Qnil); |
| 163 | 498 |
|
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
499 MAKE_LOCK_NAME (lfname, filename); |
| 163 | 500 |
| 16802 | 501 owner = current_lock_owner (&locker, lfname); |
| 163 | 502 if (owner <= 0) |
| 16802 | 503 ret = Qnil; |
| 504 else if (owner == 2) | |
| 505 ret = Qt; | |
| 506 else | |
| 507 ret = build_string (locker.user); | |
| 508 | |
| 509 if (owner > 0) | |
| 510 FREE_LOCK_INFO (locker); | |
| 511 | |
| 512 return ret; | |
| 163 | 513 } |
| 624 | 514 |
| 515 /* Initialization functions. */ | |
| 516 | |
| 163 | 517 syms_of_filelock () |
| 518 { | |
| 519 defsubr (&Sunlock_buffer); | |
| 520 defsubr (&Slock_buffer); | |
| 521 defsubr (&Sfile_locked_p); | |
| 522 } | |
| 523 | |
| 524 #endif /* CLASH_DETECTION */ |
