diff options
-rw-r--r-- | generic/proof-shell.el | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 532e6c65..91fa4398 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -227,16 +227,11 @@ Does nothing if proof assistant is already running." ;; 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?). - ;; Unfortunately, this appears to conflict with *non*-mule - ;; versions of FSF Emacs which don't work properly - ;; with piped communication. (Anyone know why?) - ;; So non-mule FSF loses with Solaris. (process-connection-type - ;; FIXME: test for Solaris here to use pty's on Linux - (if (or (string-match "XEmacs" emacs-version) - (boundp 'mule-version)) - nil - process-connection-type))) ; default + ;; FIXME: might be good to test for Solaris here to use + ;; pty's on Linux as not problematic. + nil)) + ;; An improvement here might be to catch failure of ;; make-comint and then kill off the buffer. Then we |