max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(emacs/lean-server): dump response before trying to parse it

Browse source
This commit is contained in:
Sebastian Ullrich 2017-01-19 22:35:13 +01:00 • committed by Leonardo de Moura
parent 4cba998de3
commit cc1553d901
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -53,11 +53,11 @@
(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-debug "server=> %s" line)
(lean-server-process-response sess response))))
(defun lean-server-process-buffer (sess)