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