diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-22 23:16:27 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-22 23:16:27 +0000 |
commit | 85877a5fc1789cfdbb45be72c5ce591b710d3bd8 (patch) | |
tree | 8649bd923d07dbb0a52214c0796697d76c25f774 | |
parent | a7dd559a68844c0b56a242c88fe64bf18c878673 (diff) |
`prerr_endline "EINTR"' qui trainait...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1441 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | debugger/input_handling.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debugger/input_handling.ml b/debugger/input_handling.ml index 47f466cd7..76bd98158 100644 --- a/debugger/input_handling.ml +++ b/debugger/input_handling.ml @@ -68,14 +68,16 @@ let main_loop () = continue_main_loop := true; while !continue_main_loop do try - let (input, _, _) = select (List.map fst !active_files) [] [] (-1.) in + let (input, _, _) = + select (List.map fst !active_files) [] [] (-1.) + in List.iter (function fd -> let (funct, iochan) = (List.assoc fd !active_files) in funct iochan) input with - Unix_error (EINTR, _, _) -> prerr_endline "EINTR";() + Unix_error (EINTR, _, _) -> () done; continue_main_loop := old_state with |