diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-14 22:36:17 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-14 22:36:17 +0100 |
commit | 00fa240ffe88f3f00ab3319ed4bacdd71aa87134 (patch) | |
tree | 96869f7409f2f6e808b4c467d9df01b602deeab1 | |
parent | 55e11b2e6afcc7df4a8b8e7445a6d93bf21c587a (diff) | |
download | geiser-00fa240ffe88f3f00ab3319ed4bacdd71aa87134.tar.gz geiser-00fa240ffe88f3f00ab3319ed4bacdd71aa87134.tar.bz2 |
Smoother REPL exit (deactivating the connection)
-rw-r--r-- | elisp/geiser-repl.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/elisp/geiser-repl.el b/elisp/geiser-repl.el index 8c51818..4ca5b2c 100644 --- a/elisp/geiser-repl.el +++ b/elisp/geiser-repl.el @@ -612,6 +612,7 @@ With a prefix argument, force exit by killing the scheme process." (interactive "P") (when (or (not geiser-repl-query-on-exit-p) (y-or-n-p "Really quit this REPL? ")) + (geiser-con--connection-deactivate geiser-repl--connection t) (let ((cmd (and (not arg) (geiser-repl--exit-cmd geiser-impl--implementation)))) (if cmd |