From 4a1bdaadf562d8bbf927ccfbb8916fb86477240d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 23 Jan 2011 10:46:27 +0000
Subject: Kill prover process without asking on Emacs exit

---
 generic/proof-shell.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index fe439115..5c757cc6 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -349,6 +349,10 @@ process command."
 	  (switch-to-buffer proof-shell-buffer)
 	  (error "%s process exited!" proc))
 
+	;; PG manages the prover process, don't query user on exit
+	(set-process-query-on-exit-flag 
+	 (get-buffer-process proof-shell-buffer) nil)
+
 	;; Initialise associated buffers
 
 	(with-current-buffer proof-response-buffer
-- 
cgit v1.2.3