From 0d0b188e3030ec94176cd03b68b5013931740dad Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 10 May 2005 15:55:43 +0000 Subject: [PATCH] more detailed info about peon's problems --- helm/ocaml/metadata/extractor/extractor_manager.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/metadata/extractor/extractor_manager.ml b/helm/ocaml/metadata/extractor/extractor_manager.ml index 493868d54..42902d514 100644 --- a/helm/ocaml/metadata/extractor/extractor_manager.ml +++ b/helm/ocaml/metadata/extractor/extractor_manager.ml @@ -126,7 +126,14 @@ let wait_a_peon peons = let pid,status = Unix.wait () in (match status with | Unix.WEXITED 0 -> () - | _ -> prerr_endline (Printf.sprintf "PEON %d HAD A PROBLEM" pid)); + | Unix.WEXITED s -> + prerr_endline (Printf.sprintf "PEON %d EXIT STATUS %d" pid s) + | Unix.WSIGNALED s -> + prerr_endline + (Printf.sprintf "PEON %d HAD A PROBLEM, KILLED BY SIGNAL %d" pid s) + | Unix.WSTOPPED s -> + prerr_endline + (Printf.sprintf "PEON %d HAD A PROBLEM, STOPPED BY %d" pid s)); let p = fst(List.find (fun (_,x) -> x = pid) !peons) in peons := List.filter (fun (x,_) -> x <> p) !peons; peons := (p,0) :: !peons -- 2.39.2