Admin/ProofGeneral/timeout.patch
author wenzelm
Sun, 29 Nov 2009 17:44:44 +0100
changeset 33922 639eb84ec640
child 33929 e7685297e9da
permissions -rw-r--r--
raised proof-shell-quit-timeout to accomodate bulky write-back images;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33922
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     1
--- a/generic/proof-config.el	2008-07-21 18:37:10.000000000 +0200
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     2
+++ b/generic/proof-config.el	2009-11-29 17:41:37.409062091 +0100
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     3
@@ -1493,7 +1493,7 @@
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     4
    :type '(choice string (const nil))
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     5
    :group 'proof-shell)
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     6
 
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     7
-(defcustom proof-shell-quit-timeout 4
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     8
+(defcustom proof-shell-quit-timeout 12
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
     9
   ;; FIXME could add option to quiz user before rude kill.
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
    10
   "The number of seconds to wait after sending proof-shell-quit-cmd.
639eb84ec640 raised proof-shell-quit-timeout to accomodate bulky write-back images;
wenzelm
parents:
diff changeset
    11
 After this timeout, the proof shell will be killed off more rudely.