From cab18119276c37a62e5a3f4f9b6249feabc8071a Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 10 Sep 2014 09:06:33 -0700 Subject: [PATCH] feat(emacs/lean-server): print out signal event to debug buffer --- src/emacs/lean-server.el | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 1016c0568..2bb4f1e45 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -10,6 +10,7 @@ (require 'lean-cmd) (require 'lean-info) (require 'lean-util) +(require 's) (require 'flycheck) ;; Parameters @@ -142,11 +143,10 @@ (defun lean-server-handle-signal (process event) "Handle signals for lean-server-process" - (cond - ((string-prefix-p "hangup" event) - (lean-server-initialize-global-vars)) - ((string-prefix-p "killed" event) - (lean-server-initialize-global-vars)))) + (let ((event-string (s-trim event))) + (lean-server-initialize-global-vars) + (lean-server-debug "lean-server-handle-signal: %s" + (propertize event-string 'face '(:foreground "red"))))) ;; How to create an async process ;; ==============================