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