X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=437192fd0c5cc0f06d56f5170e13df1d307e196e;hb=95e69a360c9b017b308ba199eddc0238a7b71905;hp=7d1c2de085373806448a4bd4c2224460befa2f8f;hpb=21a3155f8296175180e348f10a6a9af88e1ac87d;p=whenjobs.git 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; }