Work around for bug in threads + blocking io streamlined

1 files changed, 3 insertions, 3 deletions

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index e93d167207..af58f8eb21 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -397,9 +397,9 @@ let loop () =
   catch_break := false;
   let in_ch, out_ch = Spawned.get_channels () in
   let xml_oc = Xml_printer.make (Xml_printer.TChannel out_ch) in
-  Spawned.prepare_in_channel_for_thread_friendly_blocking_input in_ch;
-  let in_lb =
-    Lexing.from_function (Spawned.thread_friendly_blocking_input in_ch) in
+  CThread.prepare_in_channel_for_thread_friendly_io in_ch;
+  let in_lb = Lexing.from_function (fun s len ->
+    CThread.thread_friendly_read in_ch s ~off:0 ~len) in
   let xml_ic = Xml_parser.make (Xml_parser.SLexbuf in_lb) in
   let () = Xml_parser.check_eof xml_ic false in
   set_logger (slave_logger xml_oc);