diff options
| author | ppedrot | 2012-06-29 20:24:04 +0000 |
|---|---|---|
| committer | ppedrot | 2012-06-29 20:24:04 +0000 |
| commit | c77296fec78e5abf15d53f41b649d79204266581 (patch) | |
| tree | d011f37fb980246119ca241389b463a08a97e8d2 | |
| parent | 9fa075601e6433504cc7d34387a01cd328f8f271 (diff) | |
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
| -rw-r--r-- | toplevel/ide_slave.ml | 4 |
1 files 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 |