"an info file will be left behind... if you hard-kill it"

https://github.com/jupyter/notebook/issues/2844#issuecomment-461770716
This commit is contained in:
dickmao 2020-02-11 21:38:40 -05:00
parent 5fbc371da5
commit a3604a329a

View file

@ -345,8 +345,12 @@ server command."
do (sleep-for 0 500))
(lexical-let* ((proc (ein:jupyter-server-process))
(pid (process-id proc)))
(ein:log 'info "Signaled %s with pid %s" proc pid)
(signal-process pid 15)
(if (eq system-type 'windows-nt)
(ein:query-singleton-ajax
(ein:url url-or-port "api/shutdown")
:type "POST")
(ein:log 'info "Signaled %s with pid %s" proc pid)
(signal-process pid 15))
(run-at-time 2 nil
(lambda ()
(ein:log 'info "Resignaled %s with pid %s" proc pid)