diff options
| -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 |