X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=daemon%2Fdaemon.mli;h=b7f7d57cc7cf38b94ab2b54f833aa327f009a749;hp=d860714675276daced0d307e20dc708b2c7b8945;hb=77707acb12b5424488757569f376e1d9b58e5a22;hpb=550bd0df9a6c9067dd0e2f9e77ae650efdf62454 diff --git a/daemon/daemon.mli b/daemon/daemon.mli index d860714..b7f7d57 100644 --- 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. *)