diff options
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)) |