X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.ml;h=df1665befa385cb0052825065f605bf20a9f3669;hp=4e46968256d9edd8d05b2ac23677788faf8f7249;hb=acb316417965e2b40010aeb35f8ff990db0d1d42;hpb=21a3155f8296175180e348f10a6a9af88e1ac87d

diff --git a/lib/whenexpr.ml b/lib/whenexpr.ml
index 4e46968..df1665b 100644
--- a/lib/whenexpr.ml
+++ b/lib/whenexpr.ml
@@ -83,6 +83,16 @@ type shell_script = {
   sh_script : string;
 }
 
+type result = {
+  res_job_name : string;
+  res_serial : Big_int.big_int;
+  res_code : int;
+  res_tmpdir : string;
+  res_output : string;
+}
+
+type cleanup = result -> unit
+
 type variable =
   | T_unit
   | T_bool of bool
@@ -113,6 +123,7 @@ type job_cond =
 type job = {
   job_loc : Loc.t;
   job_name : string;
+  job_cleanup : cleanup option;
   job_cond : job_cond;
   job_script : shell_script;
 }