diff options
author | 2000-03-09 09:27:07 +0000 | |
---|---|---|
committer | 2000-03-09 09:27:07 +0000 | |
commit | 21b3bfdb08081ac10a59c9bc61c90ea85c7e940e (patch) | |
tree | 617992f8a6ebba14fff210fd7c0ab7a23f92b8f4 /generic/proof-shell.el | |
parent | ae7c256d964dd24b2d066d5d5da2da762c843aca (diff) |
Added proof-shell-process-connection-type.
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 11 |
1 files changed, 1 insertions, 10 deletions
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 |