- with CHILD_DEAD ->
- let _, status = Unix.waitpid [] !pid in
- match status with
- | Unix.WEXITED 0 ->
- ignore(Sys.signal Sys.sigchld (Sys.Signal_ignore));
- true
- | _ -> false)
-
+ with
+ | Unix.Unix_error (_,"read",_)
+ | Unix.Unix_error (_,"select",_) -> true)