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

1 files changed, 3 insertions, 1 deletions

diff --git a/ide/coq.ml b/ide/coq.ml
index e0b08562b..c5ae35715 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;