From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 10 May 2005 15:55:43 +0000 (+0000)
Subject: more detailed info about peon's problems
X-Git-Tag: single_binding~87
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d0b188e3030ec94176cd03b68b5013931740dad;p=helm.git

more detailed info about peon's problems
---

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