diff options
| author | Richard M. Stallman | 1994-11-10 16:13:30 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1994-11-10 16:13:30 +0000 |
| commit | 71207de2b6ad7848cd5962595b8283c3dd421d4d (patch) | |
| tree | a07163f9fb85016e50bc04ccf7ab855230e92064 | |
| parent | 3ea1d2918f21eb9bd18c127f35838b4e978abb06 (diff) | |
| download | emacs-71207de2b6ad7848cd5962595b8283c3dd421d4d.tar.gz emacs-71207de2b6ad7848cd5962595b8283c3dd421d4d.zip | |
Comment change.
| -rw-r--r-- | lisp/server.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lisp/server.el b/lisp/server.el index 2c95453d651..eab345322f8 100644 --- a/lisp/server.el +++ b/lisp/server.el | |||
| @@ -294,9 +294,10 @@ Then bury it, and return a suggested buffer to select next." | |||
| 294 | (save-buffer buffer))) | 294 | (save-buffer buffer))) |
| 295 | (server-buffer-done buffer))))) | 295 | (server-buffer-done buffer))))) |
| 296 | 296 | ||
| 297 | ;; If a server buffer is killed, release its client. | 297 | ;; Ask before killing a server buffer. |
| 298 | ;; I'm not sure this is really a good idea--do you want the client | 298 | ;; It was suggested to release its client instead, |
| 299 | ;; to proceed using whatever is on disk in that file? | 299 | ;; but I think that is dangerous--the client would proceed |
| 300 | ;; using whatever is on disk in that file. -- rms. | ||
| 300 | (defun server-kill-buffer-query-function () | 301 | (defun server-kill-buffer-query-function () |
| 301 | (or (not server-buffer-clients) | 302 | (or (not server-buffer-clients) |
| 302 | (yes-or-no-p (format "Buffer `%s' still has clients; kill it? " | 303 | (yes-or-no-p (format "Buffer `%s' still has clients; kill it? " |