From 7e3285bf064ef572db08a3c4afd8fef96aa5f4a3 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 13 Oct 2016 15:33:54 -0400 Subject: [PATCH] feat(emacs/lean-server): do not restart server on dependency change --- src/emacs/lean-server.el | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index f208bfa313..1800bf431e 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -89,9 +89,7 @@ (lexical-let ((buffer (current-buffer))) (set-process-sentinel proc (lambda (p e) - (with-current-buffer (process-buffer p) (compilation-mode)) - (message "restarting lean") - (with-current-buffer buffer (lean-server-restart))))) + (with-current-buffer (process-buffer p) (compilation-mode))))) (temp-buffer-window-show (process-buffer proc)) (with-current-buffer (process-buffer proc) (let ((buffer-read-only nil)) (erase-buffer))))))