From 3f6569070625f7226d8b4921bbb953b25ddad5c8 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 19 Jan 2017 23:00:10 +0100 Subject: [PATCH] feat(emacs/lean-server): print out entire server response on error --- src/emacs/lean-server.el | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index cea748985f..4bc8e59541 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -52,13 +52,15 @@ (when (car cb) (funcall (car cb) res)))))) (defun lean-server-process-line (sess line) - (with-demoted-errors "error in lean-server command handler: %s" - (lean-debug "server=> %s" line) - (let* ((json-array-type 'list) - (json-object-type 'plist) - (json-false nil) - (response (json-read-from-string line))) - (lean-server-process-response sess response)))) + (condition-case-unless-debug err + (progn + (lean-debug "server=> %s" line) + (let* ((json-array-type 'list) + (json-object-type 'plist) + (json-false nil) + (response (json-read-from-string line))) + (lean-server-process-response sess response))) + (error (message "error in lean-server command handler: %s\nServer response was:\n%s" err (buffer-string))))) (defun lean-server-process-buffer (sess) (goto-char (point-min))