Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/ProofGeneral/3.7.1.1/timeout.patch
author blanchet
Tue, 10 Sep 2013 15:56:51 +0200
changeset 53502 2eaaca796234
parent 41639 d1cac8c778ed
permissions -rw-r--r--
gracefully handle huge thys
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
33929
e7685297e9da even higher proof-shell-quit-timeout -- saving main HOL takes 20s on a *fast* machine;
wenzelm
parents: 33922
diff changeset 
     8
 
+(defcustom proof-shell-quit-timeout 45
33922
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.
isabelle