From f20cea03bcd36ef0bcbc6f6aa1bffda9f293a4d7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 16:16:23 +0000
Subject: comments added.

---
 generic/proof-shell.el | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index eae1d190..1fde7aba 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -256,8 +256,13 @@ Does nothing if proof assistant is already running."
 	      " "))
 	    ;; Experimental fix for backslash/long line problem.  
 	    ;; Make start-process (called by make-comint)
-	    ;; use a pipe, not a pty.
+	    ;; use a pipe, not a pty.  Seems to work.
 	    (process-connection-type nil))
+
+	;; An improvement here might be to catch failure of
+	;; make-comint and then kill off the buffer.  Then we 
+	;; could add back code above for multiple shells <2> <3>, etc.
+	;; Seems hardly worth it.
 	(apply 'make-comint  (append (list proc (car prog-name-list) nil)
 				     (cdr prog-name-list))))
       
-- 
cgit v1.2.3