From 3833a60b7cc2ecb8b4f77bb346f35eae94c9ca7b Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Fri, 21 Oct 2016 16:02:13 -0400 Subject: [PATCH] fix(emacs/lean-server): recognize error messages --- src/emacs/lean-server.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 526fc02b32..b39d6dd81f 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -88,8 +88,8 @@ (lean-debug "server=> %s" answer) (let* ((json-object-type 'plist) (response (json-read-from-string answer))) - (if (equal (plist-get 'response response) "error") - (progn (message "error: %s" (plist-get 'message response)) + (if (equal (plist-get response :response) "error") + (progn (message "error: %s" (plist-get response :message)) (if error-cb (apply error-cb :allow-other-keys t response))) (if cb (apply cb :allow-other-keys t response))))))))