From 35de47646ff70782003dec969bfd4d7e3f9c2ac2 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 21 Apr 2011 22:44:08 +0000
Subject: Coqide: back to using Unix.stderr in create_process

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14048 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ide/coq.ml b/ide/coq.ml
index e0b08562b3..c5ae357152 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -140,12 +140,14 @@ let coqtop_zombies () =
     coqide                                   coqtop
            <--top2ide_r--[pipe]--top2ide_w--<
 
+    Note: we use Unix.stderr in Unix.create_process to get debug
+    messages from the coqtop's Ide_slave loop.
 *)
 
 let open_process_pid prog args =
   let (ide2top_r,ide2top_w) = Unix.pipe () in
   let (top2ide_r,top2ide_w) = Unix.pipe () in
-  let pid = Unix.create_process prog args ide2top_r top2ide_w top2ide_w in
+  let pid = Unix.create_process prog args ide2top_r top2ide_w Unix.stderr in
   assert (pid <> 0);
   Unix.close ide2top_r;
   Unix.close top2ide_w;
-- 
cgit v1.2.3