Check that the process is live in jupyter-stop-channels

This commit is contained in:
Nathaniel Nicandro 2018-05-13 11:09:20 -05:00
parent 29ccac12d0
commit b49d138fdb

View file

@ -602,10 +602,10 @@ for the heartbeat channel."
for channel = (slot-value client sym)
when channel do (jupyter-stop-channel channel))
(let ((ioloop (oref client ioloop)))
(when ioloop
(when (process-live-p ioloop)
(zmq-subprocess-send ioloop (cons 'quit nil))
(with-timeout (1 (delete-process ioloop)
(warn "IOloop process not killed by request"))
(message "IOloop process not killed by request"))
(while (oref client ioloop)
(sleep-for 0 100))))))