diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:19:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:19:11 +0000 |
| commit | 8fff43feca28407e1d22dd92335ce3428fd539e0 (patch) | |
| tree | dcab9ff6f49363d8dfbd6b793163b29f070e2212 /generic/proof-shell.el | |
| parent | daba69056c109c25e11893a5d878806efea2ed95 (diff) | |
Comments
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 3cf016f0..20724f6d 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -392,8 +392,8 @@ shell buffer, alled by `proof-shell-bail-out' if process exits." (message "%s, cleaning up and exiting..." bufname) (let (timeout-id) - (redisplay t) ; redisplay - (if alive ; process still there + (redisplay t) + (if alive (progn (catch 'exited (set-process-sentinel proc @@ -432,7 +432,6 @@ shell buffer, alled by `proof-shell-bail-out' if process exits." (current-buffer)))) (throw 'exited t)) nil)) (while (scomint-check-proc (current-buffer)) - ;; Perhaps XEmacs hangs too, lets try both wait forms. (accept-process-output nil 1) (sit-for 1))) ;; Disable timeout and sentinel in case one or |