X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=437192fd0c5cc0f06d56f5170e13df1d307e196e;hp=7d1c2de085373806448a4bd4c2224460befa2f8f;hb=f3db678247d4ccc04c6ca1655e2eeec17e1bc169;hpb=083f42734bf06c6a752e3a93e519c6250a04dd96 diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli index 7d1c2de..437192f 100644 --- a/lib/whenexpr.mli +++ b/lib/whenexpr.mli @@ -60,6 +60,17 @@ type shell_script = { } (** A shell script. *) +type result = { + res_job_name : string; (** Job name. *) + res_code : int; (** Return code from the script. *) + res_tmpdir : string; (** Temporary directory. *) + res_output : string; (** Filename of output from job. *) +} +(** Result of the run of a job. *) + +type cleanup = result -> unit +(** A cleanup function. *) + type variable = | T_unit | T_bool of bool @@ -83,6 +94,7 @@ type job_cond = type job = { job_loc : Camlp4.PreCast.Loc.t; job_name : string; + job_cleanup : cleanup option; job_cond : job_cond; job_script : shell_script; }