diff options
author | 2011-01-23 13:59:33 +0000 | |
---|---|---|
committer | 2011-01-23 13:59:33 +0000 | |
commit | fbfeb817505ce1e43939eb54e200599ff57e4916 (patch) | |
tree | d430019ce1433788829b8b2c15c2f8e6823c1bd6 /generic/proof-shell.el | |
parent | 3091827b9cf921758ae8bb1fafc3b3a7368a923c (diff) |
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.
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
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)) |