sh_script : string;
}
+type preinfo = {
+ pi_job_name : string;
+ pi_serial : Big_int.big_int;
+}
+
type result = {
res_job_name : string;
res_serial : Big_int.big_int;
res_start_time : float;
}
-type cleanup = result -> unit
+type pre = preinfo -> bool
+type post = result -> unit
type variable =
| T_unit
type job = {
job_loc : Loc.t;
job_name : string;
- job_cleanup : cleanup option;
+ job_pre : pre option;
+ job_post : post option;
job_cond : job_cond;
job_script : shell_script;
}