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

do not manage SIGINT 

Ignore-this: 113a23f695ca40788c12279e64b19e9f

darcs-hash:20110828152450-c41ad-1d223ee84c2149921b1b938cf86b3e5671fbf634
This commit is contained in:
Jeremie Dimino 2011-08-28 17:24:50 +02:00
parent 5c7ce88938
commit 216686b89f
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/uTop_console.ml
View File

@ -439,12 +439,8 @@ let rec read_input term prompt buffer len =
end else end else
return () return ()
in in
(* Restore the Lwt signal handler for SIGINT (Toploop catches it). *)
Lwt_unix.reinstall_signal_handler Sys.sigint;
(new read_line ~term ~prompt:prompt_to_display)#run (new read_line ~term ~prompt:prompt_to_display)#run
finally finally
(* Toploop need to catch the SIGINT signal. *)
Sys.catch_break true;
LTerm.flush term LTerm.flush term
) in ) in