LTerm_read_line: fix synchronization

kandu · kandu · commit c6dda3c4ac02 · 2020-05-06T11:13:22.000+08:00
diff --git a/src/lTerm_read_line.ml b/src/lTerm_read_line.ml
@@ -1163,7 +1163,7 @@ object(self)
   (* The main loop. *)
   method private loop =
     Lwt.pick [
-      Lwt.(>|=) (LTerm.read_event term) (fun ev-> Ev ev);
+      (Lwt.pause () >>= fun ()-> Lwt.(>|=) (LTerm.read_event term) (fun ev-> Ev ev));
       Lwt.(>|=) (Lwt_mvar.take result) (fun r-> Loop_result r);
       Lwt.(>|=) (Lwt_mvar.take self#interrupt) (fun e-> Interrupted e);
       ]

Original file line number	Diff line number	Diff line change
`@@ -1163,7 +1163,7 @@ object(self)`
`1163`	`1163`	`(* The main loop. *)`
`1164`	`1164`	`method private loop =`
`1165`	`1165`	`Lwt.pick [`
`1166`		`- Lwt.(>\|=) (LTerm.read_event term) (fun ev-> Ev ev);`
	`1166`	`+ (Lwt.pause () >>= fun ()-> Lwt.(>\|=) (LTerm.read_event term) (fun ev-> Ev ev));`
`1167`	`1167`	`Lwt.(>\|=) (Lwt_mvar.take result) (fun r-> Loop_result r);`
`1168`	`1168`	`Lwt.(>\|=) (Lwt_mvar.take self#interrupt) (fun e-> Interrupted e);`
`1169`	`1169`	`]`