From 21b3bfdb08081ac10a59c9bc61c90ea85c7e940e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Mar 2000 09:27:07 +0000 Subject: Added proof-shell-process-connection-type. --- generic/proof-shell.el | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) (limited to 'generic/proof-shell.el') diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 91fa4398..cf116a4a 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -222,16 +222,7 @@ Does nothing if proof assistant is already running." ;; Split on spaces: FIXME: maybe should be whitespace. " ")) - ;; Experimental fix for backslash/long line problem with - ;; Solaris. Make start-process (called by make-comint) - ;; use a pipe, not a pty, by setting process-connection-type=nil. - ;; It seems to work, but has known disadvantages. - ;; (I've forgotten what they are, size problems?). - (process-connection-type - ;; FIXME: might be good to test for Solaris here to use - ;; pty's on Linux as not problematic. - nil)) - + (process-connection-type proof-shell-process-connection-type)) ;; An improvement here might be to catch failure of ;; make-comint and then kill off the buffer. Then we -- cgit v1.2.3