From 8fff43feca28407e1d22dd92335ce3428fd539e0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 19 Aug 2010 09:19:11 +0000
Subject: Comments

---
 generic/proof-shell.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'generic')

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