jupyter-shutdown-kernel: Forcibly kill the kernel after timeout

This commit is contained in:
Nathaniel Nicandro 2019-02-12 15:34:24 -06:00
parent 5f7af55a9c
commit 4d37b0efea
No known key found for this signature in database
GPG key ID: C34814B309DD06B8

View file

@ -268,7 +268,8 @@ channel is stopped unless RESTART is non-nil."
((format "%s kernel shutting down..." (oref manager name))
(or timeout jupyter-default-timeout)
(message "%s kernel did not shutdown by request"
(oref manager name)))
(oref manager name))
(jupyter-kernel-manager--cleanup manager 'kill-kernel))
(not (jupyter-kernel-alive-p manager)))
(if restart
(jupyter-start-kernel manager)