summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>1997-03-22 23:16:27 +0000
committerJérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>1997-03-22 23:16:27 +0000
commit85877a5fc1789cfdbb45be72c5ce591b710d3bd8 (patch)
tree8649bd923d07dbb0a52214c0796697d76c25f774
parenta7dd559a68844c0b56a242c88fe64bf18c878673 (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.ml6
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