X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fjobs.mli;fp=src%2Fjobs.mli;h=afafbbd6ba54dc766d76cf7d542cb0b72826ac0e;hb=60c2061059e1d1c246df02733ab570a1af662f5f;hp=697263d8ee3362c395d405df7105138cf92835e5;hpb=81394242a7d6a47fad6d84ce33d488d38de2647a;p=goals.git

diff --git a/src/jobs.mli b/src/jobs.mli
index 697263d..afafbbd 100644
--- a/src/jobs.mli
+++ b/src/jobs.mli
@@ -61,6 +61,11 @@ module type Jobs = sig
 
   val wait : group -> unit
   (** [wait group] waits for all of the jobs in the group to finish. *)
+
+  val stop_all : unit -> unit
+  (** This is used when goals exits with an error.  All jobs which
+      are waiting to run are deleted, and we wait for all running
+      jobs to finish. *)
 end
 
 module Make (K : Key) : Jobs with type key = K.t