Coqide: better handling of stdout/stderr in win32

 Now that coqide is a console-free win32 app, writing to
 nonexistent stdout/stderr lead to Sys_error. To avoid that:

 - We reroute coqide's stdout/stderr to either a pipe that will stay
   unread (by default), or to a temp log file (in debug mode).

 - When doing create_process, avoid referring to Unix.stderr:
   anything printed by coqtop to its stderr will be merged in the
   regular channel.

 - On the coqtop side, remove the awkward fix consisting in a \r printed
   on stderr apparently to fix coqide.byte. This fix is probably obsolete
   since the separation of coqide and coqtop as distinct processes.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14047 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions