From 3b574ef31d8e1b56624edc181d9a6cd48544d8ad Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 5 Sep 2014 07:49:19 -0700 Subject: [PATCH] feat(emacs/lean-server): kill the server before emacs exit Close #138 --- src/emacs/lean-server.el | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index 88fb6d1dd..a59385c2e 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -395,4 +395,10 @@ If it's successful, take it out from the queue. Otherwise, set an (when lean-global-async-task-queue (lean-server-set-timer-for-event-handler))) +(defadvice save-buffers-kill-emacs + (before lean-server-kill-before-kill-emacs activate) + "Call `lean-server-kill-process', to avoid the user being +prompted to kill the lean-server process." + (lean-server-kill-process)) + (provide 'lean-server)