haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

always flush after a read-line 

Ignore-this: d71a03dad3f04242f210df54085125ac

darcs-hash:20110731090906-c41ad-b65b72867335c51c114f2f37756ea569375aedf7
This commit is contained in:
Jeremie Dimino 2011-07-31 11:09:06 +02:00
parent 9c12bd804f
commit 3e6d20c5e0
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/uTop_console.ml
View File

@ -303,9 +303,10 @@ let rec read_input term prompt buffer len =
(* Read interactively user input. *) (* Read interactively user input. *)
let txt = Lwt_main.run ( let txt = Lwt_main.run (
lwt txt = (new read_line ~term ~prompt:prompt_to_display)#run in try_lwt
lwt () = LTerm.flush term in (new read_line ~term ~prompt:prompt_to_display)#run
return txt finally
LTerm.flush term
) in ) in
pending := Some (match !pending with pending := Some (match !pending with