From c77296fec78e5abf15d53f41b649d79204266581 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Fri, 29 Jun 2012 20:24:04 +0000
Subject: Small improvement to ide_slave, which was going crazy whenever stdin
 was accidentaly closed.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15503 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/ide_slave.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index 57f2da8e0d..6e0a3c787b 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -422,8 +422,6 @@ let fail err =
   Serialize.of_value (fun _ -> assert false) (Interface.Fail (None, err))
 
 let loop () =
-  let p = Xml_parser.make (Xml_parser.SChannel stdin) in
-  let () = Xml_parser.check_eof p false in
   init_signal_handler ();
   catch_break := false;
   Pp.set_logger slave_logger;
@@ -435,6 +433,8 @@ let loop () =
     while true do
       let xml_answer =
         try
+          let p = Xml_parser.make (Xml_parser.SChannel stdin) in
+          let () = Xml_parser.check_eof p false in
           let xml_query = Xml_parser.parse p in
           let q = Serialize.to_call xml_query in
           let () = pr_debug ("<-- " ^ Serialize.pr_call q) in
-- 
cgit v1.2.3