X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.ml;h=2cb686346532c0420f479082fff8aa02e45210ee;hp=df1665befa385cb0052825065f605bf20a9f3669;hb=0c9faf57f9239b0fe1c0b46353d222bb4cf5cd74;hpb=cffe87109d9c868eefd48f7d5255a4863a578e4d

diff --git a/lib/whenexpr.ml b/lib/whenexpr.ml
index df1665b..2cb6863 100644
--- a/lib/whenexpr.ml
+++ b/lib/whenexpr.ml
@@ -83,15 +83,22 @@ type shell_script = {
   sh_script : string;
 }
 
+type preinfo = {
+  pi_job_name : string;
+  pi_serial : Big_int.big_int;
+}
+
 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
+type pre = preinfo -> bool
+type post = result -> unit
 
 type variable =
   | T_unit
@@ -123,7 +130,8 @@ type job_cond =
 type job = {
   job_loc : Loc.t;
   job_name : string;
-  job_cleanup : cleanup option;
+  job_pre : pre option;
+  job_post : post option;
   job_cond : job_cond;
   job_script : shell_script;
 }