1992-05-30 20:24:49 +00:00
|
|
|
;;; userlock.el --- handle file access contention between multiple users
|
|
|
|
|
2006-12-05 07:06:08 +00:00
|
|
|
;; Copyright (C) 1985, 1986, 2001, 2002, 2003, 2004,
|
2009-01-05 03:18:22 +00:00
|
|
|
;; 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
|
1992-07-22 02:58:48 +00:00
|
|
|
|
1992-07-17 18:53:44 +00:00
|
|
|
;; Maintainer: FSF
|
|
|
|
;; Keywords: internal
|
1992-07-16 21:47:34 +00:00
|
|
|
|
1989-10-31 16:00:07 +00:00
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
2008-05-06 08:06:51 +00:00
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
1989-10-31 16:00:07 +00:00
|
|
|
;; it under the terms of the GNU General Public License as published by
|
2008-05-06 08:06:51 +00:00
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
;; (at your option) any later version.
|
1989-10-31 16:00:07 +00:00
|
|
|
|
|
|
|
;; GNU Emacs is distributed in the hope that it will be useful,
|
|
|
|
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
;; GNU General Public License for more details.
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
2008-05-06 08:06:51 +00:00
|
|
|
;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
|
1989-10-31 16:00:07 +00:00
|
|
|
|
1992-07-16 21:47:34 +00:00
|
|
|
;;; Commentary:
|
1989-10-31 16:00:07 +00:00
|
|
|
|
1992-07-16 21:47:34 +00:00
|
|
|
;; This file is autoloaded to handle certain conditions
|
1989-10-31 16:00:07 +00:00
|
|
|
;; detected by the file-locking code within Emacs.
|
|
|
|
;; The two entry points are `ask-user-about-lock' and
|
|
|
|
;; `ask-user-about-supersession-threat'.
|
|
|
|
|
1992-07-16 21:47:34 +00:00
|
|
|
;;; Code:
|
1989-10-31 16:00:07 +00:00
|
|
|
|
|
|
|
(put 'file-locked 'error-conditions '(file-locked file-error error))
|
1997-09-02 17:12:46 +00:00
|
|
|
(put 'file-locked 'error-message "File is locked")
|
1989-10-31 16:00:07 +00:00
|
|
|
|
1991-05-09 21:50:55 +00:00
|
|
|
;;;###autoload
|
1997-09-02 17:12:46 +00:00
|
|
|
(defun ask-user-about-lock (file opponent)
|
|
|
|
"Ask user what to do when he wants to edit FILE but it is locked by OPPONENT.
|
1989-10-31 16:00:07 +00:00
|
|
|
This function has a choice of three things to do:
|
1999-11-01 14:53:59 +00:00
|
|
|
do (signal 'file-locked (list FILE OPPONENT))
|
1989-10-31 16:00:07 +00:00
|
|
|
to refrain from editing the file
|
|
|
|
return t (grab the lock on the file)
|
|
|
|
return nil (edit the file even though it is locked).
|
1997-09-02 17:12:46 +00:00
|
|
|
You can redefine this function to choose among those three alternatives
|
|
|
|
in any way you like."
|
1989-10-31 16:00:07 +00:00
|
|
|
(discard-input)
|
|
|
|
(save-window-excursion
|
1997-09-02 17:12:46 +00:00
|
|
|
(let (answer short-opponent short-file)
|
|
|
|
(setq short-file
|
|
|
|
(if (> (length file) 22)
|
|
|
|
(concat "..." (substring file (- (length file) 22)))
|
|
|
|
file))
|
|
|
|
(setq short-opponent
|
|
|
|
(if (> (length opponent) 25)
|
|
|
|
(save-match-data
|
|
|
|
(string-match " (pid [0-9]+)" opponent)
|
|
|
|
(concat (substring opponent 0 13) "..."
|
|
|
|
(match-string 0 opponent)))
|
|
|
|
opponent))
|
1989-10-31 16:00:07 +00:00
|
|
|
(while (null answer)
|
1997-09-02 17:12:46 +00:00
|
|
|
(message "%s locked by %s: (s, q, p, ?)? "
|
|
|
|
short-file short-opponent)
|
1989-10-31 16:00:07 +00:00
|
|
|
(let ((tem (let ((inhibit-quit t)
|
|
|
|
(cursor-in-echo-area t))
|
|
|
|
(prog1 (downcase (read-char))
|
|
|
|
(setq quit-flag nil)))))
|
|
|
|
(if (= tem help-char)
|
|
|
|
(ask-user-about-lock-help)
|
|
|
|
(setq answer (assoc tem '((?s . t)
|
|
|
|
(?q . yield)
|
|
|
|
(?\C-g . yield)
|
|
|
|
(?p . nil)
|
|
|
|
(?? . help))))
|
|
|
|
(cond ((null answer)
|
|
|
|
(beep)
|
|
|
|
(message "Please type q, s, or p; or ? for help")
|
|
|
|
(sit-for 3))
|
|
|
|
((eq (cdr answer) 'help)
|
|
|
|
(ask-user-about-lock-help)
|
|
|
|
(setq answer nil))
|
|
|
|
((eq (cdr answer) 'yield)
|
1997-09-02 17:12:46 +00:00
|
|
|
(signal 'file-locked (list file opponent)))))))
|
1989-10-31 16:00:07 +00:00
|
|
|
(cdr answer))))
|
|
|
|
|
|
|
|
(defun ask-user-about-lock-help ()
|
|
|
|
(with-output-to-temp-buffer "*Help*"
|
|
|
|
(princ "It has been detected that you want to modify a file that someone else has
|
2006-11-27 16:49:39 +00:00
|
|
|
already started modifying in Emacs.
|
1989-10-31 16:00:07 +00:00
|
|
|
|
2006-11-27 16:49:39 +00:00
|
|
|
You can <s>teal the file; the other user becomes the
|
1989-10-31 16:00:07 +00:00
|
|
|
intruder if (s)he ever unmodifies the file and then changes it again.
|
|
|
|
You can <p>roceed; you edit at your own (and the other user's) risk.
|
1994-11-09 05:45:49 +00:00
|
|
|
You can <q>uit; don't modify this file.")
|
|
|
|
(save-excursion
|
|
|
|
(set-buffer standard-output)
|
|
|
|
(help-mode))))
|
1989-10-31 16:00:07 +00:00
|
|
|
|
|
|
|
(put
|
|
|
|
'file-supersession 'error-conditions '(file-supersession file-error error))
|
|
|
|
|
1991-05-09 21:50:55 +00:00
|
|
|
;;;###autoload
|
1989-10-31 16:00:07 +00:00
|
|
|
(defun ask-user-about-supersession-threat (fn)
|
|
|
|
"Ask a user who is about to modify an obsolete buffer what to do.
|
|
|
|
This function has two choices: it can return, in which case the modification
|
|
|
|
of the buffer will proceed, or it can (signal 'file-supersession (file)),
|
|
|
|
in which case the proposed buffer modification will not be made.
|
|
|
|
|
|
|
|
You can rewrite this to use any criterion you like to choose which one to do.
|
|
|
|
The buffer in question is current when this function is called."
|
|
|
|
(discard-input)
|
|
|
|
(save-window-excursion
|
|
|
|
(let (answer)
|
|
|
|
(while (null answer)
|
1996-06-29 20:04:54 +00:00
|
|
|
(message "%s changed on disk; really edit the buffer? (y, n, r or C-h) "
|
1993-08-11 20:36:30 +00:00
|
|
|
(file-name-nondirectory fn))
|
1989-10-31 16:00:07 +00:00
|
|
|
(let ((tem (downcase (let ((cursor-in-echo-area t))
|
2002-09-27 19:08:41 +00:00
|
|
|
(read-char-exclusive)))))
|
1989-10-31 16:00:07 +00:00
|
|
|
(setq answer
|
|
|
|
(if (= tem help-char)
|
|
|
|
'help
|
|
|
|
(cdr (assoc tem '((?n . yield)
|
|
|
|
(?\C-g . yield)
|
|
|
|
(?y . proceed)
|
1996-06-29 20:04:54 +00:00
|
|
|
(?r . revert)
|
1989-10-31 16:00:07 +00:00
|
|
|
(?? . help))))))
|
|
|
|
(cond ((null answer)
|
|
|
|
(beep)
|
1996-06-29 20:04:54 +00:00
|
|
|
(message "Please type y, n or r; or ? for help")
|
1989-10-31 16:00:07 +00:00
|
|
|
(sit-for 3))
|
|
|
|
((eq answer 'help)
|
|
|
|
(ask-user-about-supersession-help)
|
|
|
|
(setq answer nil))
|
1996-06-29 20:04:54 +00:00
|
|
|
((eq answer 'revert)
|
|
|
|
(revert-buffer nil (not (buffer-modified-p)))
|
2007-08-08 07:40:09 +00:00
|
|
|
; ask confirmation if buffer modified
|
1996-06-29 20:04:54 +00:00
|
|
|
(signal 'file-supersession
|
|
|
|
(list "File reverted" fn)))
|
1989-10-31 16:00:07 +00:00
|
|
|
((eq answer 'yield)
|
|
|
|
(signal 'file-supersession
|
|
|
|
(list "File changed on disk" fn))))))
|
|
|
|
(message
|
|
|
|
"File on disk now will become a backup file if you save these changes.")
|
|
|
|
(setq buffer-backed-up nil))))
|
|
|
|
|
|
|
|
(defun ask-user-about-supersession-help ()
|
|
|
|
(with-output-to-temp-buffer "*Help*"
|
|
|
|
(princ "You want to modify a buffer whose disk file has changed
|
|
|
|
since you last read it in or saved it with this buffer.
|
|
|
|
|
|
|
|
If you say `y' to go ahead and modify this buffer,
|
|
|
|
you risk ruining the work of whoever rewrote the file.
|
1996-06-29 20:04:54 +00:00
|
|
|
If you say `r' to revert, the contents of the buffer are refreshed
|
|
|
|
from the file on disk.
|
1989-10-31 16:00:07 +00:00
|
|
|
If you say `n', the change you started to make will be aborted.
|
|
|
|
|
|
|
|
Usually, you should type `n' and then `M-x revert-buffer',
|
1994-11-09 05:45:49 +00:00
|
|
|
to get the latest version of the file, then make the change again.")
|
|
|
|
(save-excursion
|
|
|
|
(set-buffer standard-output)
|
|
|
|
(help-mode))))
|
1989-10-31 16:00:07 +00:00
|
|
|
|
2008-04-10 14:10:46 +00:00
|
|
|
;; arch-tag: a61c5b60-e1c8-44fd-894a-c617f4dfc639
|
1992-05-30 20:24:49 +00:00
|
|
|
;;; userlock.el ends here
|