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