diff options
author | Vitalie Spinu <spinuvit@gmail.com> | 2018-09-21 23:35:44 +0200 |
---|---|---|
committer | Bozhidar Batsov <bozhidar.batsov@gmail.com> | 2018-09-23 21:59:44 +0400 |
commit | 53e32b69a243bec242752da38b069120aa2324af (patch) | |
tree | e15495c89f9a7217dc62d43213e0a1c172eb33da /nrepl-client.el | |
parent | c99baaf3f79382dbaeaa31e1ca815e68651ae5dc (diff) |
[Fix #2435] Remove killed REPLs from session in client sentinel
And rename :no-server-kill to :keep-server process property
Diffstat (limited to 'nrepl-client.el')
-rw-r--r-- | nrepl-client.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/nrepl-client.el b/nrepl-client.el index 056a8540..e7499ba3 100644 --- a/nrepl-client.el +++ b/nrepl-client.el @@ -466,12 +466,15 @@ and kill the process buffer." (substring message 0 -1))) (when (equal (process-status process) 'closed) (when-let* ((client-buffer (process-buffer process))) + (sesman-remove-object 'CIDER nil client-buffer + (not (process-get process :keep-server)) + 'no-error) (nrepl--clear-client-sessions client-buffer) (with-current-buffer client-buffer (run-hooks 'nrepl-disconnected-hook) (let ((server-buffer nrepl-server-buffer)) (when (and (buffer-live-p server-buffer) - (not (plist-get (process-plist process) :no-server-kill))) + (not (process-get process :keep-server))) (setq nrepl-server-buffer nil) (nrepl--maybe-kill-server-buffer server-buffer))))))) |