annotate src/filelock.c @ 85414:f79d3fec6de7

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