From 1ae424f964ca3e3c101cf84b7de813b57289f9ad Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jan 1999 16:23:05 +0000
Subject: Experimental bug fix for Solaris problem

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

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 102b2bb1..46cb5cd4 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -225,7 +225,12 @@ Does nothing if proof assistant is already running."
 		  (concat proof-rsh-command " " proof-prog-name)
 		proof-prog-name)
 	      ;; Split on spaces: FIXME: maybe should be whitespace.
-	      " ")))
+	      " "))
+	    ;; Experimental fix for backslash/long line problem.  
+	    ;; Make start-process (called by make-comint)
+	    ;; use a pipe, not a pty.
+	    (process-connection-type nil)
+	    )
 	(apply 'make-comint  (append (list proc (car prog-name-list) nil)
 				     (cdr prog-name-list))))
       
-- 
cgit v1.2.3