Mercurial > emacs
annotate src/filelock.c @ 80479:45332330ce1b
*** empty log message ***
author | Jason Rumney <jasonr@gnu.org> |
---|---|
date | Thu, 10 Apr 2008 09:42:29 +0000 |
parents | fc2bcd2a8aad |
children | 606f2d163a64 |
rev | line source |
---|---|
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
1 /* Lock files for editing. |
64770
a0d1312ede66
Update years in copyright notice; nfc.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
64084
diff
changeset
|
2 Copyright (C) 1985, 1986, 1987, 1993, 1994, 1996, 1998, 1999, 2000, 2001, |
79759 | 3 2002, 2003, 2004, 2005, 2006, 2007, 2008 |
4 Free Software Foundation, Inc. | |
163 | 5 |
6 This file is part of GNU Emacs. | |
7 | |
8 GNU Emacs is free software; you can redistribute it and/or modify | |
9 it under the terms of the GNU General Public License as published by | |
78260
922696f363b0
Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents:
78201
diff
changeset
|
10 the Free Software Foundation; either version 3, or (at your option) |
163 | 11 any later version. |
12 | |
13 GNU Emacs is distributed in the hope that it will be useful, | |
14 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 GNU General Public License for more details. | |
17 | |
18 You should have received a copy of the GNU General Public License | |
19 along with GNU Emacs; see the file COPYING. If not, write to | |
64084 | 20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, |
21 Boston, MA 02110-1301, USA. */ | |
163 | 22 |
23 | |
26088
b7aa6ac26872
Add support for large files, 64-bit Solaris, system locale codings.
Paul Eggert <eggert@twinsun.com>
parents:
26012
diff
changeset
|
24 #include <config.h> |
163 | 25 #include <sys/types.h> |
26 #include <sys/stat.h> | |
21514 | 27 #include <signal.h> |
25784
fe4ca7eaee87
(get_boot_time): Put local variable used in
Gerd Moellmann <gerd@gnu.org>
parents:
25743
diff
changeset
|
28 #include <stdio.h> |
372 | 29 |
61700
8a54ce1fae6a
Remove reference to defunct vms-pwd.h.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
58592
diff
changeset
|
30 #ifdef HAVE_PWD_H |
163 | 31 #include <pwd.h> |
61700
8a54ce1fae6a
Remove reference to defunct vms-pwd.h.
Thien-Thi Nguyen <ttn@gnuvola.org>
parents:
58592
diff
changeset
|
32 #endif |
372 | 33 |
163 | 34 #include <sys/file.h> |
29910
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
35 #ifdef HAVE_FCNTL_H |
163 | 36 #include <fcntl.h> |
29910
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
37 #endif |
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
38 #ifdef HAVE_STRING_H |
16802 | 39 #include <string.h> |
29910
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
40 #endif |
163 | 41 |
21514 | 42 #ifdef HAVE_UNISTD_H |
43 #include <unistd.h> | |
44 #endif | |
45 | |
24424
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
46 #ifdef __FreeBSD__ |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
47 #include <sys/sysctl.h> |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
48 #endif /* __FreeBSD__ */ |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
49 |
29910
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
50 #include <errno.h> |
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
51 #ifndef errno |
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
52 extern int errno; |
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
53 #endif |
e5461cec39b8
Use feature tests for fcntl.h, string.h. Don't include time.h, done by
Dave Love <fx@gnu.org>
parents:
28927
diff
changeset
|
54 |
163 | 55 #include "lisp.h" |
56 #include "buffer.h" | |
21902 | 57 #include "charset.h" |
58 #include "coding.h" | |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
59 #include "systime.h" |
163 | 60 |
25743
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
61 /* The directory for writing temporary files. */ |
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
62 |
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
63 Lisp_Object Vtemporary_file_directory; |
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
64 |
163 | 65 #ifdef CLASH_DETECTION |
21413
edf1091d8a60
Include <utmp.h> only if CLASH_DETECTION is
Karl Heuer <kwzh@gnu.org>
parents:
21244
diff
changeset
|
66 |
edf1091d8a60
Include <utmp.h> only if CLASH_DETECTION is
Karl Heuer <kwzh@gnu.org>
parents:
21244
diff
changeset
|
67 #include <utmp.h> |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
68 |
43138
a3df29430166
(S_ISLNK): Define if not defined.
Richard M. Stallman <rms@gnu.org>
parents:
41031
diff
changeset
|
69 #if !defined (S_ISLNK) && defined (S_IFLNK) |
a3df29430166
(S_ISLNK): Define if not defined.
Richard M. Stallman <rms@gnu.org>
parents:
41031
diff
changeset
|
70 #define S_ISLNK(m) (((m) & S_IFMT) == S_IFLNK) |
a3df29430166
(S_ISLNK): Define if not defined.
Richard M. Stallman <rms@gnu.org>
parents:
41031
diff
changeset
|
71 #endif |
a3df29430166
(S_ISLNK): Define if not defined.
Richard M. Stallman <rms@gnu.org>
parents:
41031
diff
changeset
|
72 |
24869
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
73 /* A file whose last-modified time is just after the most recent boot. |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
74 Define this to be NULL to disable checking for this file. */ |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
75 #ifndef BOOT_TIME_FILE |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
76 #define BOOT_TIME_FILE "/var/run/random-seed" |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
77 #endif |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
78 |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
79 #ifndef WTMP_FILE |
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
80 #define WTMP_FILE "/var/log/wtmp" |
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
81 #endif |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
82 |
16802 | 83 /* The strategy: to lock a file FN, create a symlink .#FN in FN's |
84 directory, with link data `user@host.pid'. This avoids a single | |
85 mount (== failure) point for lock files. | |
163 | 86 |
16802 | 87 When the host in the lock data is the current host, we can check if |
88 the pid is valid with kill. | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
89 |
16802 | 90 Otherwise, we could look at a separate file that maps hostnames to |
91 reboot times to see if the remote pid can possibly be valid, since we | |
92 don't want Emacs to have to communicate via pipes or sockets or | |
93 whatever to other processes, either locally or remotely; rms says | |
94 that's too unreliable. Hence the separate file, which could | |
95 theoretically be updated by daemons running separately -- but this | |
96 whole idea is unimplemented; in practice, at least in our | |
17165 | 97 environment, it seems such stale locks arise fairly infrequently, and |
16802 | 98 Emacs' standard methods of dealing with clashes suffice. |
624 | 99 |
16802 | 100 We use symlinks instead of normal files because (1) they can be |
101 stored more efficiently on the filesystem, since the kernel knows | |
102 they will be small, and (2) all the info about the lock can be read | |
103 in a single system call (readlink). Although we could use regular | |
17165 | 104 files to be useful on old systems lacking symlinks, nowadays |
16802 | 105 virtually all such systems are probably single-user anyway, so it |
106 didn't seem worth the complication. | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
107 |
16802 | 108 Similarly, we don't worry about a possible 14-character limit on |
109 file names, because those are all the same systems that don't have | |
110 symlinks. | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
111 |
16802 | 112 This is compatible with the locking scheme used by Interleaf (which |
113 has contributed this implementation for Emacs), and was designed by | |
114 Ethan Jacobson, Kimbo Mundy, and others. | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
115 |
16802 | 116 --karl@cs.umb.edu/karl@hq.ileaf.com. */ |
624 | 117 |
16802 | 118 |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
119 /* 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
|
120 |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
121 static time_t boot_time; |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
122 static int boot_time_initialized; |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
123 |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
124 extern Lisp_Object Vshell_file_name; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
125 |
26501
e6e6add72493
Add forward declaration for get_boot_time_1.
Dave Love <fx@gnu.org>
parents:
26361
diff
changeset
|
126 #ifdef BOOT_TIME |
e6e6add72493
Add forward declaration for get_boot_time_1.
Dave Love <fx@gnu.org>
parents:
26361
diff
changeset
|
127 static void get_boot_time_1 P_ ((char *, int)); |
e6e6add72493
Add forward declaration for get_boot_time_1.
Dave Love <fx@gnu.org>
parents:
26361
diff
changeset
|
128 #endif |
e6e6add72493
Add forward declaration for get_boot_time_1.
Dave Love <fx@gnu.org>
parents:
26361
diff
changeset
|
129 |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
130 static time_t |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
131 get_boot_time () |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
132 { |
25784
fe4ca7eaee87
(get_boot_time): Put local variable used in
Gerd Moellmann <gerd@gnu.org>
parents:
25743
diff
changeset
|
133 #if defined (BOOT_TIME) && ! defined (NO_WTMP_FILE) |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
134 int counter; |
25784
fe4ca7eaee87
(get_boot_time): Put local variable used in
Gerd Moellmann <gerd@gnu.org>
parents:
25743
diff
changeset
|
135 #endif |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
136 |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
137 if (boot_time_initialized) |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
138 return boot_time; |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
139 boot_time_initialized = 1; |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
140 |
24424
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
141 #if defined (CTL_KERN) && defined (KERN_BOOTTIME) |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
142 { |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
143 int mib[2]; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
144 size_t size; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
145 struct timeval boottime_val; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
146 |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
147 mib[0] = CTL_KERN; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
148 mib[1] = KERN_BOOTTIME; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
149 size = sizeof (boottime_val); |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
150 |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
151 if (sysctl (mib, 2, &boottime_val, &size, NULL, 0) >= 0) |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
152 { |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
153 boot_time = boottime_val.tv_sec; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
154 return boot_time; |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
155 } |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
156 } |
520e8f39c1f8
(get_boot_time): Support FreeBSD way to read boot-time.
Karl Heuer <kwzh@gnu.org>
parents:
24406
diff
changeset
|
157 #endif /* defined (CTL_KERN) && defined (KERN_BOOTTIME) */ |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
158 |
24869
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
159 if (BOOT_TIME_FILE) |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
160 { |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
161 struct stat st; |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
162 if (stat (BOOT_TIME_FILE, &st) == 0) |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
163 { |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
164 boot_time = st.st_mtime; |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
165 return boot_time; |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
166 } |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
167 } |
28e022c50e4f
(BOOT_TIME_FILE): New macro.
Paul Eggert <eggert@twinsun.com>
parents:
24816
diff
changeset
|
168 |
24704
c5be96c5a5c1
(get_boot_time): Handle NO_WTMP_FILE.
Karl Heuer <kwzh@gnu.org>
parents:
24499
diff
changeset
|
169 #if defined (BOOT_TIME) && ! defined (NO_WTMP_FILE) |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
170 #ifndef CANNOT_DUMP |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
171 /* The utmp routines maintain static state. |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
172 Don't touch that state unless we are initialized, |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
173 since it might not survive dumping. */ |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
174 if (! initialized) |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
175 return boot_time; |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
176 #endif /* not CANNOT_DUMP */ |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
177 |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
178 /* Try to get boot time from utmp before wtmp, |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
179 since utmp is typically much smaller than wtmp. |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
180 Passing a null pointer causes get_boot_time_1 |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
181 to inspect the default file, namely utmp. */ |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
182 get_boot_time_1 ((char *) 0, 0); |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
183 if (boot_time) |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
184 return boot_time; |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
185 |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
186 /* Try to get boot time from the current wtmp file. */ |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
187 get_boot_time_1 (WTMP_FILE, 1); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
188 |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
189 /* If we did not find a boot time in wtmp, look at wtmp, and so on. */ |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
190 for (counter = 0; counter < 20 && ! boot_time; counter++) |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
191 { |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
192 char cmd_string[100]; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
193 Lisp_Object tempname, filename; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
194 int delete_flag = 0; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
195 |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
196 filename = Qnil; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
197 |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
198 sprintf (cmd_string, "%s.%d", WTMP_FILE, counter); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
199 tempname = build_string (cmd_string); |
24499
e5b719c6fd51
(get_boot_time): Test tempname, not filename.
Karl Heuer <kwzh@gnu.org>
parents:
24465
diff
changeset
|
200 if (! NILP (Ffile_exists_p (tempname))) |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
201 filename = tempname; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
202 else |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
203 { |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
204 sprintf (cmd_string, "%s.%d.gz", WTMP_FILE, counter); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
205 tempname = build_string (cmd_string); |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
206 if (! NILP (Ffile_exists_p (tempname))) |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
207 { |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
208 Lisp_Object args[6]; |
28927
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
209 |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
210 /* The utmp functions on mescaline.gnu.org accept only |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
211 file names up to 8 characters long. Choose a 2 |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
212 character long prefix, and call make_temp_file with |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
213 second arg non-zero, so that it will add not more |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
214 than 6 characters to the prefix. */ |
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
215 tempname = Fexpand_file_name (build_string ("wt"), |
25743
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
216 Vtemporary_file_directory); |
28927
a06e82e2ffc8
(get_boot_time): To obtain an 8 char file name, which
Gerd Moellmann <gerd@gnu.org>
parents:
28589
diff
changeset
|
217 tempname = make_temp_name (tempname, 1); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
218 args[0] = Vshell_file_name; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
219 args[1] = Qnil; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
220 args[2] = Qnil; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
221 args[3] = Qnil; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
222 args[4] = build_string ("-c"); |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
223 sprintf (cmd_string, "gunzip < %s.%d.gz > %s", |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
224 WTMP_FILE, counter, SDATA (tempname)); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
225 args[5] = build_string (cmd_string); |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
226 Fcall_process (6, args); |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
227 filename = tempname; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
228 delete_flag = 1; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
229 } |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
230 } |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
231 |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
232 if (! NILP (filename)) |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
233 { |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
234 get_boot_time_1 (SDATA (filename), 1); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
235 if (delete_flag) |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
236 unlink (SDATA (filename)); |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
237 } |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
238 } |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
239 |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
240 return boot_time; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
241 #else |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
242 return 0; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
243 #endif |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
244 } |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
245 |
24369
8cbfa7848416
(get_boot_time_1): Put this in #ifdef BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
24349
diff
changeset
|
246 #ifdef BOOT_TIME |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
247 /* Try to get the boot time from wtmp file FILENAME. |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
248 This succeeds if that file contains a reboot record. |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
249 |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
250 If FILENAME is zero, use the same file as before; |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
251 if no FILENAME has ever been specified, this is the utmp file. |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
252 Use the newest reboot record if NEWEST is nonzero, |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
253 the first reboot record otherwise. |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
254 Ignore all reboot records on or before BOOT_TIME. |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
255 Success is indicated by setting BOOT_TIME to a larger value. */ |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
256 |
26501
e6e6add72493
Add forward declaration for get_boot_time_1.
Dave Love <fx@gnu.org>
parents:
26361
diff
changeset
|
257 void |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
258 get_boot_time_1 (filename, newest) |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
259 char *filename; |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
260 int newest; |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
261 { |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
262 struct utmp ut, *utp; |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
263 int desc; |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
264 |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
265 if (filename) |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
266 { |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
267 /* On some versions of IRIX, opening a nonexistent file name |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
268 is likely to crash in the utmp routines. */ |
26088
b7aa6ac26872
Add support for large files, 64-bit Solaris, system locale codings.
Paul Eggert <eggert@twinsun.com>
parents:
26012
diff
changeset
|
269 desc = emacs_open (filename, O_RDONLY, 0); |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
270 if (desc < 0) |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
271 return; |
24406
76205fb50ca1
(get_boot_time): Use WTMP_FILE for file name.
Richard M. Stallman <rms@gnu.org>
parents:
24386
diff
changeset
|
272 |
26088
b7aa6ac26872
Add support for large files, 64-bit Solaris, system locale codings.
Paul Eggert <eggert@twinsun.com>
parents:
26012
diff
changeset
|
273 emacs_close (desc); |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
274 |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
275 utmpname (filename); |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
276 } |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
277 |
22115
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
278 setutent (); |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
279 |
22115
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
280 while (1) |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
281 { |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
282 /* Find the next reboot record. */ |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
283 ut.ut_type = BOOT_TIME; |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
284 utp = getutid (&ut); |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
285 if (! utp) |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
286 break; |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
287 /* 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
|
288 if (utp->ut_time > boot_time) |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
289 { |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
290 boot_time = utp->ut_time; |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
291 if (! newest) |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
292 break; |
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
293 } |
22115
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
294 /* 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
|
295 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
|
296 utp = getutent (); |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
297 if (! utp) |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
298 break; |
b7efc1e72e26
(get_boot_time): Scan the whole wtmp file
Richard M. Stallman <rms@gnu.org>
parents:
22029
diff
changeset
|
299 } |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
300 endutent (); |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
301 } |
24369
8cbfa7848416
(get_boot_time_1): Put this in #ifdef BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
24349
diff
changeset
|
302 #endif /* BOOT_TIME */ |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
303 |
16802 | 304 /* 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
|
305 |
16802 | 306 typedef struct |
307 { | |
308 char *user; | |
309 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
|
310 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
|
311 time_t boot_time; |
16802 | 312 } lock_info_type; |
3537
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
313 |
16844
f919de623142
(LOCK_PID_MAX): Use sizeof (unsigned long) instead of hardwiring 21.
Richard M. Stallman <rms@gnu.org>
parents:
16816
diff
changeset
|
314 /* 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
|
315 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
|
316 #define LOCK_PID_MAX (4 * sizeof (unsigned long)) |
16802 | 317 |
318 /* Free the two dynamically-allocated pieces in PTR. */ | |
319 #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
|
320 |
22055fd47b78
(MAKE_LOCK_PATH): If SHORT_FILE_NAMES allocates
Richard M. Stallman <rms@gnu.org>
parents:
2961
diff
changeset
|
321 |
16802 | 322 /* Write the name of the lock file for FN into LFNAME. Length will be |
28589
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
323 that of FN plus two more for the leading `.#' plus 1 for the |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
324 trailing period plus one for the digit after it plus one for the |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
325 null. */ |
9996
478f14a61aba
(lock_dir, superlock_file, MAKE_LOCK_NAME):
Richard M. Stallman <rms@gnu.org>
parents:
9992
diff
changeset
|
326 #define MAKE_LOCK_NAME(lock, file) \ |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
327 (lock = (char *) alloca (SBYTES (file) + 2 + 1 + 1 + 1), \ |
624 | 328 fill_in_lock_file_name (lock, (file))) |
329 | |
16802 | 330 static void |
624 | 331 fill_in_lock_file_name (lockfile, fn) |
332 register char *lockfile; | |
333 register Lisp_Object fn; | |
334 { | |
335 register char *p; | |
28589
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
336 struct stat st; |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
337 int count = 0; |
624 | 338 |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
339 strcpy (lockfile, SDATA (fn)); |
624 | 340 |
16802 | 341 /* Shift the nondirectory part of the file name (including the null) |
342 right two characters. Here is one of the places where we'd have to | |
343 do something to support 14-character-max file names. */ | |
344 for (p = lockfile + strlen (lockfile); p != lockfile && *p != '/'; p--) | |
345 p[2] = *p; | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
346 |
16802 | 347 /* Insert the `.#'. */ |
348 p[1] = '.'; | |
349 p[2] = '#'; | |
28589
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
350 |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
351 p = p + strlen (p); |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
352 |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
353 while (lstat (lockfile, &st) == 0 && !S_ISLNK (st.st_mode)) |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
354 { |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
355 if (count > 9) |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
356 { |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
357 *p = '\0'; |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
358 return; |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
359 } |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
360 sprintf (p, ".%d", count++); |
f10b492946d2
(MAKE_LOCK_NAME): Allocate 2 more bytes.
Gerd Moellmann <gerd@gnu.org>
parents:
26501
diff
changeset
|
361 } |
624 | 362 } |
16802 | 363 |
364 /* Lock the lock file named LFNAME. | |
365 If FORCE is nonzero, we do so even if it is already locked. | |
366 Return 1 if successful, 0 if not. */ | |
624 | 367 |
16802 | 368 static int |
369 lock_file_1 (lfname, force) | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
370 char *lfname; |
16802 | 371 int force; |
163 | 372 { |
16802 | 373 register int err; |
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
374 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
|
375 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
|
376 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
|
377 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
|
378 |
58592
7c0aad26b8bb
(lock_file_1): Call get_boot_time early. Increase
Andreas Schwab <schwab@suse.de>
parents:
52401
diff
changeset
|
379 /* Call this first because it can GC. */ |
7c0aad26b8bb
(lock_file_1): Call get_boot_time early. Increase
Andreas Schwab <schwab@suse.de>
parents:
52401
diff
changeset
|
380 boot_time = get_boot_time (); |
7c0aad26b8bb
(lock_file_1): Call get_boot_time early. Increase
Andreas Schwab <schwab@suse.de>
parents:
52401
diff
changeset
|
381 |
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
382 if (STRINGP (Fuser_login_name (Qnil))) |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
383 user_name = (char *)SDATA (Fuser_login_name (Qnil)); |
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
384 else |
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
385 user_name = ""; |
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
386 if (STRINGP (Fsystem_name ())) |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
387 host_name = (char *)SDATA (Fsystem_name ()); |
18755
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
388 else |
f2c1ffb0778a
(lock_file_1): Don't crash if Fuser_login_name or
Richard M. Stallman <rms@gnu.org>
parents:
18707
diff
changeset
|
389 host_name = ""; |
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
390 lock_info_str = (char *)alloca (strlen (user_name) + strlen (host_name) |
58592
7c0aad26b8bb
(lock_file_1): Call get_boot_time early. Increase
Andreas Schwab <schwab@suse.de>
parents:
52401
diff
changeset
|
391 + LOCK_PID_MAX + 30); |
163 | 392 |
21223
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
393 if (boot_time) |
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
394 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
|
395 (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
|
396 else |
7f00d0edbd29
(get_boot_time): Conditionalize on BOOT_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
21217
diff
changeset
|
397 sprintf (lock_info_str, "%s@%s.%lu", user_name, host_name, |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
398 (unsigned long) getpid ()); |
15797
24c31fcbcf97
(lock_file_owner_name): Always initialize the_pw.
Richard M. Stallman <rms@gnu.org>
parents:
14186
diff
changeset
|
399 |
16802 | 400 err = symlink (lock_info_str, lfname); |
401 if (errno == EEXIST && force) | |
402 { | |
403 unlink (lfname); | |
404 err = symlink (lock_info_str, lfname); | |
405 } | |
406 | |
407 return err == 0; | |
163 | 408 } |
409 | |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
410 /* Return 1 if times A and B are no more than one second apart. */ |
163 | 411 |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
412 int |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
413 within_one_second (a, b) |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
414 time_t a, b; |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
415 { |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
416 return (a - b >= -1 && a - b <= 1); |
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
417 } |
16802 | 418 |
419 /* Return 0 if nobody owns the lock file LFNAME or the lock is obsolete, | |
420 1 if another process owns it (and set OWNER (if non-null) to info), | |
421 2 if the current process owns it, | |
422 or -1 if something is wrong with the locking mechanism. */ | |
423 | |
424 static int | |
425 current_lock_owner (owner, lfname) | |
426 lock_info_type *owner; | |
427 char *lfname; | |
428 { | |
429 #ifndef index | |
430 extern char *rindex (), *index (); | |
431 #endif | |
25743
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
432 int len, ret; |
16802 | 433 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
|
434 char *at, *dot, *colon; |
16802 | 435 char *lfinfo = 0; |
436 int bufsize = 50; | |
437 /* Read arbitrarily-long contents of symlink. Similar code in | |
438 file-symlink-p in fileio.c. */ | |
439 do | |
440 { | |
441 bufsize *= 2; | |
442 lfinfo = (char *) xrealloc (lfinfo, bufsize); | |
39284 | 443 errno = 0; |
16802 | 444 len = readlink (lfname, lfinfo, bufsize); |
39283
ba947b6fd6ae
(current_lock_owner): If readlink returns ERANGE,
Gerd Moellmann <gerd@gnu.org>
parents:
32833
diff
changeset
|
445 #ifdef ERANGE |
ba947b6fd6ae
(current_lock_owner): If readlink returns ERANGE,
Gerd Moellmann <gerd@gnu.org>
parents:
32833
diff
changeset
|
446 /* HP-UX reports ERANGE if the buffer is too small. */ |
ba947b6fd6ae
(current_lock_owner): If readlink returns ERANGE,
Gerd Moellmann <gerd@gnu.org>
parents:
32833
diff
changeset
|
447 if (len == -1 && errno == ERANGE) |
39290
c5853621fe9b
(current_lock_owner): Fix last change.
Gerd Moellmann <gerd@gnu.org>
parents:
39284
diff
changeset
|
448 len = bufsize; |
39283
ba947b6fd6ae
(current_lock_owner): If readlink returns ERANGE,
Gerd Moellmann <gerd@gnu.org>
parents:
32833
diff
changeset
|
449 #endif |
16802 | 450 } |
451 while (len >= bufsize); | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
452 |
16802 | 453 /* If nonexistent lock file, all is well; otherwise, got strange error. */ |
454 if (len == -1) | |
455 { | |
456 xfree (lfinfo); | |
457 return errno == ENOENT ? 0 : -1; | |
458 } | |
459 | |
460 /* Link info exists, so `len' is its length. Null terminate. */ | |
461 lfinfo[len] = 0; | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
462 |
16802 | 463 /* Even if the caller doesn't want the owner info, we still have to |
464 read it to determine return value, so allocate it. */ | |
465 if (!owner) | |
466 { | |
18707
23039b06955a
(current_lock_owner, lock_file_1): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
17165
diff
changeset
|
467 owner = (lock_info_type *) alloca (sizeof (lock_info_type)); |
16802 | 468 local_owner = 1; |
469 } | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
470 |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
471 /* Parse USER@HOST.PID:BOOT_TIME. If can't parse, return -1. */ |
78201
f85d926dbc61
(current_lock_owner): Allow for @ sign in username.
Jason Rumney <jasonr@gnu.org>
parents:
75348
diff
changeset
|
472 /* The USER is everything before the last @. */ |
f85d926dbc61
(current_lock_owner): Allow for @ sign in username.
Jason Rumney <jasonr@gnu.org>
parents:
75348
diff
changeset
|
473 at = rindex (lfinfo, '@'); |
16802 | 474 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
|
475 if (!at || !dot) |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
476 { |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
477 xfree (lfinfo); |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
478 return -1; |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
479 } |
16802 | 480 len = at - lfinfo; |
481 owner->user = (char *) xmalloc (len + 1); | |
482 strncpy (owner->user, lfinfo, len); | |
483 owner->user[len] = 0; | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
484 |
21217
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
485 /* The PID is everything from the last `.' to the `:'. */ |
16802 | 486 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
|
487 colon = dot; |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
488 while (*colon && *colon != ':') |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
489 colon++; |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
490 /* 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
|
491 if (*colon == ':') |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
492 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
|
493 else |
18acb2723ec5
(current_lock_owner): If lock file data doesn't include
Richard M. Stallman <rms@gnu.org>
parents:
20593
diff
changeset
|
494 owner->boot_time = 0; |
16802 | 495 |
496 /* The host is everything in between. */ | |
497 len = dot - at - 1; | |
498 owner->host = (char *) xmalloc (len + 1); | |
499 strncpy (owner->host, at + 1, len); | |
500 owner->host[len] = 0; | |
501 | |
502 /* We're done looking at the link info. */ | |
503 xfree (lfinfo); | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
504 |
16802 | 505 /* 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
|
506 if (STRINGP (Fsystem_name ()) |
46370
40db0673e6f0
Most uses of XSTRING combined with STRING_BYTES or indirection changed to
Ken Raeburn <raeburn@raeburn.org>
parents:
43138
diff
changeset
|
507 && strcmp (owner->host, SDATA (Fsystem_name ())) == 0) |
16802 | 508 { |
509 if (owner->pid == getpid ()) | |
510 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
|
511 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
|
512 && (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
|
513 && (owner->boot_time == 0 |
24349
b6c16b67b735
(within_one_second): New function.
Richard M. Stallman <rms@gnu.org>
parents:
22115
diff
changeset
|
514 || within_one_second (owner->boot_time, get_boot_time ()))) |
16802 | 515 ret = 1; /* An existing process on this machine owns it. */ |
516 /* The owner process is dead or has a strange pid (<=0), so try to | |
517 zap the lockfile. */ | |
19058
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
518 else if (unlink (lfname) < 0) |
16802 | 519 ret = -1; |
19058
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
520 else |
96413dc296fe
(current_lock_owner): Don't try to delete lock
Richard M. Stallman <rms@gnu.org>
parents:
19046
diff
changeset
|
521 ret = 0; |
16802 | 522 } |
523 else | |
524 { /* If we wanted to support the check for stale locks on remote machines, | |
525 here's where we'd do it. */ | |
526 ret = 1; | |
527 } | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
528 |
16802 | 529 /* Avoid garbage. */ |
530 if (local_owner || ret <= 0) | |
531 { | |
532 FREE_LOCK_INFO (*owner); | |
533 } | |
534 return ret; | |
535 } | |
536 | |
537 | |
538 /* Lock the lock named LFNAME if possible. | |
539 Return 0 in that case. | |
540 Return positive if some other process owns the lock, and info about | |
541 that process in CLASHER. | |
542 Return -1 if cannot lock for any other reason. */ | |
543 | |
544 static int | |
545 lock_if_free (clasher, lfname) | |
546 lock_info_type *clasher; | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
547 register char *lfname; |
16802 | 548 { |
24768
0895c669be5e
(lock_if_free): After deleting a stale lock,
Richard M. Stallman <rms@gnu.org>
parents:
24746
diff
changeset
|
549 while (lock_file_1 (lfname, 0) == 0) |
16802 | 550 { |
551 int locker; | |
552 | |
553 if (errno != EEXIST) | |
554 return -1; | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
555 |
16802 | 556 locker = current_lock_owner (clasher, lfname); |
557 if (locker == 2) | |
558 { | |
559 FREE_LOCK_INFO (*clasher); | |
560 return 0; /* We ourselves locked it. */ | |
561 } | |
562 else if (locker == 1) | |
563 return 1; /* Someone else has it. */ | |
25040
a3b19ebb46f9
(lock_if_free): Return -1 if check_lock_owner()
Karl Heuer <kwzh@gnu.org>
parents:
24949
diff
changeset
|
564 else if (locker == -1) |
25156 | 565 return -1; /* current_lock_owner returned strange error. */ |
16802 | 566 |
24768
0895c669be5e
(lock_if_free): After deleting a stale lock,
Richard M. Stallman <rms@gnu.org>
parents:
24746
diff
changeset
|
567 /* We deleted a stale lock; try again to lock the file. */ |
16802 | 568 } |
569 return 0; | |
570 } | |
571 | |
572 /* lock_file locks file FN, | |
163 | 573 meaning it serves notice on the world that you intend to edit that file. |
574 This should be done only when about to modify a file-visiting | |
575 buffer previously unmodified. | |
16802 | 576 Do not (normally) call this for a buffer already modified, |
163 | 577 as either the file is already locked, or the user has already |
578 decided to go ahead without locking. | |
579 | |
16802 | 580 When this returns, either the lock is locked for us, |
163 | 581 or the user has said to go ahead without locking. |
582 | |
16802 | 583 If the file is locked by someone else, this calls |
163 | 584 ask-user-about-lock (a Lisp function) with two arguments, |
16802 | 585 the file name and info about the user who did the locking. |
163 | 586 This function can signal an error, or return t meaning |
587 take away the lock, or return nil meaning ignore the lock. */ | |
588 | |
589 void | |
590 lock_file (fn) | |
21820 | 591 Lisp_Object fn; |
163 | 592 { |
21902 | 593 register Lisp_Object attack, orig_fn, encoded_fn; |
16802 | 594 register char *lfname, *locker; |
595 lock_info_type lock_info; | |
26012 | 596 struct gcpro gcpro1; |
163 | 597 |
24949
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
598 /* Don't do locking while dumping Emacs. |
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
599 Uncompressing wtmp files uses call-process, which does not work |
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
600 in an uninitialized Emacs. */ |
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
601 if (! NILP (Vpurify_flag)) |
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
602 return; |
1dfff6fa0f05
(lock_file): Do nothing if purifying.
Richard M. Stallman <rms@gnu.org>
parents:
24869
diff
changeset
|
603 |
12811
11f5ce737c57
(lock_file): Use get_truename_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
12104
diff
changeset
|
604 orig_fn = fn; |
26006 | 605 GCPRO1 (fn); |
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
606 fn = Fexpand_file_name (fn, Qnil); |
21902 | 607 encoded_fn = ENCODE_FILE (fn); |
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
608 |
16802 | 609 /* Create the name of the lock-file for file fn */ |
21902 | 610 MAKE_LOCK_NAME (lfname, encoded_fn); |
163 | 611 |
624 | 612 /* See if this file is visited and has changed on disk since it was |
613 visited. */ | |
163 | 614 { |
6499
e0bef61003ae
(lock_file): Use assignment, not initialization.
Karl Heuer <kwzh@gnu.org>
parents:
6300
diff
changeset
|
615 register Lisp_Object subject_buf; |
21818
af741167f81e
(lock_file): gcpro `fn'.
Richard M. Stallman <rms@gnu.org>
parents:
21712
diff
changeset
|
616 |
12811
11f5ce737c57
(lock_file): Use get_truename_buffer.
Richard M. Stallman <rms@gnu.org>
parents:
12104
diff
changeset
|
617 subject_buf = get_truename_buffer (orig_fn); |
21818
af741167f81e
(lock_file): gcpro `fn'.
Richard M. Stallman <rms@gnu.org>
parents:
21712
diff
changeset
|
618 |
485 | 619 if (!NILP (subject_buf) |
620 && NILP (Fverify_visited_file_modtime (subject_buf)) | |
621 && !NILP (Ffile_exists_p (fn))) | |
163 | 622 call1 (intern ("ask-user-about-supersession-threat"), fn); |
21818
af741167f81e
(lock_file): gcpro `fn'.
Richard M. Stallman <rms@gnu.org>
parents:
21712
diff
changeset
|
623 |
163 | 624 } |
26006 | 625 UNGCPRO; |
163 | 626 |
627 /* Try to lock the lock. */ | |
16802 | 628 if (lock_if_free (&lock_info, lfname) <= 0) |
629 /* Return now if we have locked it, or if lock creation failed */ | |
163 | 630 return; |
631 | |
632 /* Else consider breaking the lock */ | |
19196
c48684372335
(lock_file_1, lock_file): Add casts.
Richard M. Stallman <rms@gnu.org>
parents:
19058
diff
changeset
|
633 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
|
634 + 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
|
635 sprintf (locker, "%s@%s (pid %lu)", lock_info.user, lock_info.host, |
16802 | 636 lock_info.pid); |
637 FREE_LOCK_INFO (lock_info); | |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
638 |
16802 | 639 attack = call2 (intern ("ask-user-about-lock"), fn, build_string (locker)); |
485 | 640 if (!NILP (attack)) |
163 | 641 /* User says take the lock */ |
642 { | |
16802 | 643 lock_file_1 (lfname, 1); |
163 | 644 return; |
645 } | |
646 /* User says ignore the lock */ | |
647 } | |
648 | |
649 void | |
650 unlock_file (fn) | |
651 register Lisp_Object fn; | |
652 { | |
653 register char *lfname; | |
654 | |
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
655 fn = Fexpand_file_name (fn, Qnil); |
22029
7620443f1878
(unlock_file): Encode the file name.
Richard M. Stallman <rms@gnu.org>
parents:
21902
diff
changeset
|
656 fn = ENCODE_FILE (fn); |
12104
10197e4b3fb2
(unlock_file, lock_file): Call Fexpand_file_name.
Karl Heuer <kwzh@gnu.org>
parents:
10752
diff
changeset
|
657 |
9996
478f14a61aba
(lock_dir, superlock_file, MAKE_LOCK_NAME):
Richard M. Stallman <rms@gnu.org>
parents:
9992
diff
changeset
|
658 MAKE_LOCK_NAME (lfname, fn); |
163 | 659 |
16802 | 660 if (current_lock_owner (0, lfname) == 2) |
163 | 661 unlink (lfname); |
662 } | |
663 | |
664 void | |
665 unlock_all_files () | |
666 { | |
667 register Lisp_Object tail; | |
668 register struct buffer *b; | |
669 | |
25662
0a7261c1d487
Use XCAR, XCDR, and XFLOAT_DATA instead of explicit member access.
Ken Raeburn <raeburn@raeburn.org>
parents:
25322
diff
changeset
|
670 for (tail = Vbuffer_alist; GC_CONSP (tail); tail = XCDR (tail)) |
163 | 671 { |
25662
0a7261c1d487
Use XCAR, XCDR, and XFLOAT_DATA instead of explicit member access.
Ken Raeburn <raeburn@raeburn.org>
parents:
25322
diff
changeset
|
672 b = XBUFFER (XCDR (XCAR (tail))); |
10752
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
673 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
|
674 { |
32833
ee1e731661c6
(unlock_all_files): Use unlock_file to expand each
Gerd Moellmann <gerd@gnu.org>
parents:
29910
diff
changeset
|
675 unlock_file(b->file_truename); |
20131
33fbdbaf65c2
(unlock_all_files): Don't call unlock_file;
Karl Heuer <kwzh@gnu.org>
parents:
19335
diff
changeset
|
676 } |
163 | 677 } |
678 } | |
679 | |
680 DEFUN ("lock-buffer", Flock_buffer, Slock_buffer, | |
41001
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
681 0, 1, 0, |
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
682 doc: /* Lock FILE, if current buffer is modified. |
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
683 FILE defaults to current buffer's visited file, |
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
684 or else nothing is done if current buffer isn't visiting a file. */) |
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
685 (file) |
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
686 Lisp_Object file; |
163 | 687 { |
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
688 if (NILP (file)) |
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
689 file = current_buffer->file_truename; |
163 | 690 else |
40656
cdfd4d09b79a
Update usage of CHECK_ macros (remove unused second argument).
Pavel Janík <Pavel@Janik.cz>
parents:
39290
diff
changeset
|
691 CHECK_STRING (file); |
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
692 if (SAVE_MODIFF < MODIFF |
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
693 && !NILP (file)) |
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
694 lock_file (file); |
49600
23a1cea22d13
Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents:
46370
diff
changeset
|
695 return Qnil; |
163 | 696 } |
697 | |
698 DEFUN ("unlock-buffer", Funlock_buffer, Sunlock_buffer, | |
41001
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
699 0, 0, 0, |
41031
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
700 doc: /* Unlock the file visited in the current buffer. |
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
701 If the buffer is not modified, this does nothing because the file |
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
702 should not be locked in that case. */) |
41001
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
703 () |
163 | 704 { |
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
705 if (SAVE_MODIFF < MODIFF |
10752
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
706 && STRINGP (current_buffer->file_truename)) |
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
707 unlock_file (current_buffer->file_truename); |
163 | 708 return Qnil; |
709 } | |
710 | |
711 /* Unlock the file visited in buffer BUFFER. */ | |
712 | |
20369
37caaa295d69
(unlock_buffer): Declare it as void.
Kenichi Handa <handa@m17n.org>
parents:
20131
diff
changeset
|
713 void |
163 | 714 unlock_buffer (buffer) |
715 struct buffer *buffer; | |
716 { | |
10331
2ae69efc3e8b
Use SAVE_MODIFF and BUF_SAVE_MODIFF
Richard M. Stallman <rms@gnu.org>
parents:
10017
diff
changeset
|
717 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
|
718 && STRINGP (buffer->file_truename)) |
e4fb5e01090a
(unlock_buffer, unlock_all_files, Flock_buffer)
Richard M. Stallman <rms@gnu.org>
parents:
10331
diff
changeset
|
719 unlock_file (buffer->file_truename); |
163 | 720 } |
721 | |
26361
95491c6d08de
(Ffile_locked_p): Make FILENAME a required argument.
Gerd Moellmann <gerd@gnu.org>
parents:
26088
diff
changeset
|
722 DEFUN ("file-locked-p", Ffile_locked_p, Sfile_locked_p, 1, 1, 0, |
41031
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
723 doc: /* Return a value indicating whether FILENAME is locked. |
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
724 The value is nil if the FILENAME is not locked, |
708f79243258
(Funlock_buffer, Ffile_locked_p): Doc fixes.
Richard M. Stallman <rms@gnu.org>
parents:
41001
diff
changeset
|
725 t if it is locked by you, else a string saying which user has locked it. */) |
41001
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
726 (filename) |
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
727 Lisp_Object filename; |
163 | 728 { |
16802 | 729 Lisp_Object ret; |
163 | 730 register char *lfname; |
731 int owner; | |
16802 | 732 lock_info_type locker; |
163 | 733 |
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
734 filename = Fexpand_file_name (filename, Qnil); |
163 | 735 |
14075
21a86b6274e6
(Flock_buffer, Ffile_locked_p): Harmonize arguments with documentation.
Erik Naggum <erik@naggum.no>
parents:
12811
diff
changeset
|
736 MAKE_LOCK_NAME (lfname, filename); |
163 | 737 |
16802 | 738 owner = current_lock_owner (&locker, lfname); |
163 | 739 if (owner <= 0) |
16802 | 740 ret = Qnil; |
741 else if (owner == 2) | |
742 ret = Qt; | |
743 else | |
744 ret = build_string (locker.user); | |
745 | |
746 if (owner > 0) | |
747 FREE_LOCK_INFO (locker); | |
748 | |
749 return ret; | |
163 | 750 } |
624 | 751 |
752 /* Initialization functions. */ | |
753 | |
21514 | 754 void |
24465 | 755 init_filelock () |
756 { | |
757 boot_time = 0; | |
24744
0e99bc70cf07
Fix performance bug on hosts with large
Richard M. Stallman <rms@gnu.org>
parents:
24704
diff
changeset
|
758 boot_time_initialized = 0; |
24465 | 759 } |
760 | |
761 void | |
163 | 762 syms_of_filelock () |
763 { | |
25743
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
764 DEFVAR_LISP ("temporary-file-directory", &Vtemporary_file_directory, |
41001
a17c8b15ef1b
Change doc-string comments to `new style' [w/`doc:' keyword].
Pavel Janík <Pavel@Janik.cz>
parents:
40656
diff
changeset
|
765 doc: /* The directory for writing temporary files. */); |
25743
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
766 Vtemporary_file_directory = Qnil; |
e6246adc8a35
(Vtemporary_file_directory): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
25662
diff
changeset
|
767 |
163 | 768 defsubr (&Sunlock_buffer); |
769 defsubr (&Slock_buffer); | |
770 defsubr (&Sfile_locked_p); | |
771 } | |
772 | |
773 #endif /* CLASH_DETECTION */ | |
52401 | 774 |
775 /* arch-tag: e062676d-50b2-4be0-ab96-197c81b181a1 | |
776 (do not change this comment) */ |