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
/
whentools.mli
diff --git
a/lib/whentools.mli
b/lib/whentools.mli
index
8dd88cd
..
f2cefb6
100644
(file)
--- a/
lib/whentools.mli
+++ b/
lib/whentools.mli
@@
-33,3
+33,8
@@
val set_variable_string : string -> string -> unit
val set_variable_float : string -> float -> unit
(** Set variable (just a wrapper around {!Whenfile.set_variable}). *)
val set_variable_float : string -> float -> unit
(** Set variable (just a wrapper around {!Whenfile.set_variable}). *)
+
+type result = Whenexpr.result
+
+val mailto : ?only_on_failure:bool -> ?from:string -> string -> result -> unit
+(** Cleanup function to send mail. *)