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