Re: [slime-devel] Semantic of slime-repl-quit command

David Vazquez davazp@es.gnu.org writes:

Harald Hanche-Olsen hanche@math.ntnu.no writes:

...

...

You should use ,disconnect. Though, currently it disconnects all connections,

I've been using this code since November 2005:

(defun slime-close-connection () "Close slime connection, kill the associated buffers." (interactive) (kill-buffer (slime-output-buffer)) (slime-net-close (slime-connection))) (defslime-repl-shortcut slime-repl-close ("close") (:handler 'slime-close-connection) (:one-liner "Close the current connection."))

Great. I will use something like slime-close-connection. By the way, the disconnect command does not appear in the manual.

Manual at the webesite isn't current, go to slime/doc and compile current docs.