Pass JOBSERIAL through to the cleanup function.

[whenjobs.git] / lib / whenexpr.mli

diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli
index 437192f..f1b8e2e 100644 (file)
--- 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. *)