From a435ed688de319aed355f02e55b04a369558db42 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 24 Aug 2010 18:59:32 +0000
Subject: Reduce quit timeout to sensible value

---
 generic/proof-config.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index ce15aa88..b0944a07 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -852,8 +852,7 @@ See also `proof-shell-pre-sync-init-cmd'."
    :type '(choice string (const nil))
    :group 'proof-shell)
 
-(defcustom proof-shell-quit-timeout 45
-  ;; FIXME could add option to quiz user before rude kill.
+(defcustom proof-shell-quit-timeout 5
   "The number of seconds to wait after sending `proof-shell-quit-cmd'.
 After this timeout, the proof shell will be killed off more rudely.
 If your proof assistant takes a long time to clean up (for
-- 
cgit v1.2.3