From fbfeb817505ce1e43939eb54e200599ff57e4916 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 23 Jan 2011 13:59:33 +0000
Subject: Make proof-shell-quit-timeout a prover-specific customize option,
 default to 45 for Isar.  See
 http://proofgeneral.inf.ed.ac.uk/trac/ticket/384.

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 5c757cc6..2832c6c2 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -412,14 +412,14 @@ shell buffer, alled by `proof-shell-bail-out' if process exits."
 	
 	;; Turn off scripting (ensure buffers completely processed/undone)
 	(proof-deactivate-scripting-auto)
-	(proof-shell-wait proof-shell-quit-timeout)
+	(proof-shell-wait (proof-ass quit-timeout))
 	
 	;; Try to shut down politely.  
 	(if proof-shell-quit-cmd
 	    (scomint-send-string proc
 				 (concat proof-shell-quit-cmd "\n"))
 	  (scomint-send-eof))
-	(proof-shell-wait nil proof-shell-quit-timeout)
+	(proof-shell-wait nil (proof-ass quit-timeout))
 	
 	;; Still there, kill it rudely.
 	(when (memq (process-status proc) '(open run stop))
-- 
cgit v1.2.3