git.annexia.org
/
whenjobs.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add commands to list, cancel, start jobs.
[whenjobs.git]
/
lib
/
whenexpr.mli
diff --git
a/lib/whenexpr.mli
b/lib/whenexpr.mli
index
f1b8e2e
..
91bb134
100644
(file)
--- a/
lib/whenexpr.mli
+++ b/
lib/whenexpr.mli
@@
-66,6
+66,7
@@
type result = {
res_code : int; (** Return code from the script. *)
res_tmpdir : string; (** Temporary directory. *)
res_output : string; (** Filename of output from job. *)
+ res_start_time : float; (** When the job started. *)
}
(** Result of the run of a job. *)