diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 18:39:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 18:39:01 +0000 |
commit | 2aa3f62aeb888206c337035f10cd9fb58abb67cc (patch) | |
tree | f2a73cc07979a8598648be0186a59f15837be8ab /generic/pg-user.el | |
parent | 539b431306133e1e28dd7f180e95013caf3f6c8c (diff) |
autosend loop: wait for shell after sending interrupt (ensures output processing
happens when proof-autosend-running is set).
Diffstat (limited to 'generic/pg-user.el')
-rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 463684c8..4adc3c39 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1465,7 +1465,8 @@ assuming the undo-in-region behavior will apply if ARG is non-nil." (message "Sending commands to prover...error.")) ((and (input-pending-p) proof-shell-busy) (proof-interrupt-process) - (message "Sending commands to prover...interrupted.")) + (message "Sending commands to prover...interrupted.") + (proof-shell-wait)) (t (message "Sending commands to prover...done.")))) (setq proof-autosend-running nil)))) |