diff options
| author | David Aspinall | 1999-01-15 16:23:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-01-15 16:23:05 +0000 |
| commit | 1ae424f964ca3e3c101cf84b7de813b57289f9ad (patch) | |
| tree | 5d974a3bfdf12893f5dad5ce872af429c050d83f | |
| parent | 42a78f8f2fa24fe7dccd028fb572d39355c42d55 (diff) | |
Experimental bug fix for Solaris problem
| -rw-r--r-- | generic/proof-shell.el | 7 |
1 files changed, 6 insertions, 1 deletions
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)))) |