diff move-if-change @ 79243:cccc3ec23e08

(server-unload-function): Rename from `server-unload-hook' and adapt to new `unload-feature' functionality. Remove hook from `kill-buffer-hook' buffer-locally. (server-unload-hook): Remove. (server-unload-function): New var; replaces `server-unload-hook'.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 29 Oct 2007 00:42:24 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff