Add support for multiple jobs files.

[whenjobs.git] / daemon / daemon.mli

diff --git a/daemon/daemon.mli b/daemon/daemon.mli
index d860714..b7f7d57 100644 (file)
--- a/daemon/daemon.mli
+++ b/daemon/daemon.mli
@@ -24,8 +24,8 @@ val init : string -> bool -> unit
 
       The parameters are [jobsdir] and [debug]. *)
 
-val reload_file : unit -> unit
-  (** (Re-)load the file [$jobsdir/jobs.cmo].
+val reload_files : unit -> unit
+  (** (Re-)load the file(s) [$jobsdir/*.cmo].
 
       This can raise [Failure] if the operation fails. *)