diff options
| -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 |