X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.ml;h=6e12a5d9d3032ad1411ae2ca0220cbcaca970633;hp=f1f2a89161223711fae7f828fee18660358cd130;hb=dcb2495b5a97360cfa074acbd10b1e8bde40da3e;hpb=f3db678247d4ccc04c6ca1655e2eeec17e1bc169

diff --git a/lib/whenexpr.ml b/lib/whenexpr.ml
index f1f2a89..6e12a5d 100644
--- a/lib/whenexpr.ml
+++ b/lib/whenexpr.ml
@@ -85,9 +85,11 @@ type shell_script = {
 
 type result = {
   res_job_name : string;
+  res_serial : Big_int.big_int;
   res_code : int;
   res_tmpdir : string;
   res_output : string;
+  res_start_time : float;
 }
 
 type cleanup = result -> unit