michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(emacs/lean-server): when handle dead lean-server

Browse source
This commit is contained in:
Soonho Kong 2014-08-25 16:50:16 -07:00
parent 5965bcc10b
commit f7ff5ec3d6
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/emacs/lean-server.el
View file

@ -99,6 +99,9 @@
"Kill lean-server process. Return t if killed, nil if nothing to kill"
(interactive)
(cond
((and lean-global-server-process (process-exit-status lean-global-server-process))
(setq lean-global-server-process nil)
t)
(lean-global-server-process
(when (interactive-p)
(message "lean-server-kill-process: %S killed" lean-global-server-process))
@ -123,7 +126,7 @@
(when (interactive-p)
(message "lean-server-get-process: %S is not live, kill it"
lean-global-server-process))
(lean-server-kill-process))
(lean-server-restart-process))
(t lean-global-server-process)))
(defun lean-server-get-buffer ()