From 2aa3f62aeb888206c337035f10cd9fb58abb67cc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 2010 18:39:01 +0000
Subject: autosend loop: wait for shell after sending interrupt (ensures output
 processing happens when proof-autosend-running is set).

---
 generic/pg-user.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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))))
-- 
cgit v1.2.3