Obscure end of internal input stream problem solved.

1 files changed, 5 insertions, 2 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 191a5d13..7682c860 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1477,8 +1477,11 @@ quote characters."
 
 (defcustom proof-shell-process-connection-type 
   ;; Use ptys unless it seems like we're on Solaris.  Only have
-  ;; a good chance to guess if shell-command-to-string available.
-  (if (fboundp 'shell-command-to-string)
+  ;; a good chance to guess if shell-command-to-string and uname
+  ;; available.
+  (if (and
+       (not (fboundp 'win32-long-file-name))
+       (fboundp 'shell-command-to-string))
       (not (string-match "[sS]un" (shell-command-to-string "uname")))
     t)
   "The value of process-connection-type for the proof shell.