X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.ml;h=2cb686346532c0420f479082fff8aa02e45210ee;hp=f1f2a89161223711fae7f828fee18660358cd130;hb=0c9faf57f9239b0fe1c0b46353d222bb4cf5cd74;hpb=f3db678247d4ccc04c6ca1655e2eeec17e1bc169 diff --git a/lib/whenexpr.ml b/lib/whenexpr.ml index f1f2a89..2cb6863 100644 --- a/lib/whenexpr.ml +++ b/lib/whenexpr.ml @@ -83,14 +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 @@ -122,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; }