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

feat(emacs/lean-server): print out signal event to debug buffer

Browse source
This commit is contained in:
Soonho Kong 2014-09-10 09:06:33 -07:00
parent b82092a123
commit cab1811927
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -10,6 +10,7 @@
(require 'lean-cmd) (require 'lean-cmd)
(require 'lean-info) (require 'lean-info)
(require 'lean-util) (require 'lean-util)
(require 's)
(require 'flycheck) (require 'flycheck)
;; Parameters ;; Parameters
@ -142,11 +143,10 @@
(defun lean-server-handle-signal (process event) (defun lean-server-handle-signal (process event)
"Handle signals for lean-server-process" "Handle signals for lean-server-process"
(cond (let ((event-string (s-trim event)))
((string-prefix-p "hangup" event) (lean-server-initialize-global-vars)
(lean-server-initialize-global-vars)) (lean-server-debug "lean-server-handle-signal: %s"
((string-prefix-p "killed" event) (propertize event-string 'face '(:foreground "red")))))
(lean-server-initialize-global-vars))))
;; How to create an async process ;; How to create an async process
;; ============================== ;; ==============================