Pass JOBSERIAL through to the cleanup function.

[whenjobs.git] / lib / whenexpr.ml

diff --git a/lib/whenexpr.ml b/lib/whenexpr.ml
index f1f2a89..df1665b 100644 (file)
--- a/lib/whenexpr.ml
+++ b/lib/whenexpr.ml
@@ -85,6 +85,7 @@ type shell_script = {
 
 type result = {
   res_job_name : string;
+  res_serial : Big_int.big_int;
   res_code : int;
   res_tmpdir : string;
   res_output : string;