]> matita.cs.unibo.it Git - helm.git/commitdiff
more detailed info about peon's problems
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 15:55:43 +0000 (15:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 May 2005 15:55:43 +0000 (15:55 +0000)
helm/ocaml/metadata/extractor/extractor_manager.ml

index 493868d540d4831c32713ea1a0b11c0295157272..42902d514dec87b0112ec893a826f696e15da6b6 100644 (file)
@@ -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