# HG changeset patch
# User wenzelm
# Date 1259513084 -3600
# Node ID 639eb84ec640a22a2ce34b9f9a3d0040e8facf6c
# Parent  4c188a74e36299872e1abbefcef41250b7373453
raised proof-shell-quit-timeout to accomodate bulky write-back images;

diff -r 4c188a74e362 -r 639eb84ec640 Admin/ProofGeneral/timeout.patch
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/ProofGeneral/timeout.patch	Sun Nov 29 17:44:44 2009 +0100
@@ -0,0 +1,11 @@
+--- a/generic/proof-config.el	2008-07-21 18:37:10.000000000 +0200
++++ b/generic/proof-config.el	2009-11-29 17:41:37.409062091 +0100
+@@ -1493,7 +1493,7 @@
+    :type '(choice string (const nil))
+    :group 'proof-shell)
+ 
+-(defcustom proof-shell-quit-timeout 4
++(defcustom proof-shell-quit-timeout 12
+   ;; FIXME could add option to quiz user before rude kill.
+   "The number of seconds to wait after sending proof-shell-quit-cmd.
+ After this timeout, the proof shell will be killed off more rudely.