X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=f1b8e2e5a17439af2291f439d30314005c9d0a61;hp=437192fd0c5cc0f06d56f5170e13df1d307e196e;hb=acb316417965e2b40010aeb35f8ff990db0d1d42;hpb=f3db678247d4ccc04c6ca1655e2eeec17e1bc169 diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli index 437192f..f1b8e2e 100644 --- a/lib/whenexpr.mli +++ b/lib/whenexpr.mli @@ -62,6 +62,7 @@ type shell_script = { type result = { res_job_name : string; (** Job name. *) + res_serial : Big_int.big_int; (** Job serial number. *) res_code : int; (** Return code from the script. *) res_tmpdir : string; (** Temporary directory. *) res_output : string; (** Filename of output from job. *)