From 608b66c32391361431ed8f0cc003ede14042a7ca Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 18 Aug 2014 14:18:11 -0700 Subject: [PATCH] fix(emacs/lean-server): check buffer-modified-p before create a process fix #57 --- 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 7a26ab461..49402c631 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -80,6 +80,8 @@ ;; ============================== (defun lean-server-create-process () "Create lean-server process." + (when (buffer-modified-p) + (error "Please save the buffer before start lean-server.")) (let ((process-connection-type nil) (lean-server-process (start-process lean-server-process-name