From 5b28480809aa9e3f2a639dcec45170b3cfab71e6 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 11 Sep 2014 04:04:20 -0700 Subject: [PATCH] chore(emacs/lean-server): send signal info to lean-server-trace --- src/emacs/lean-server.el | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 58f62ef2f..5afb73d3a 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -152,6 +152,8 @@ (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"))) + (lean-server-trace "lean-server-handle-signal: %s\n" (propertize event-string 'face '(:foreground "red"))))) ;; How to create an async process