X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=daemon%2Fdaemon.mli;h=d351ac285ad4644336ff95145c9d025e3871f304;hp=d860714675276daced0d307e20dc708b2c7b8945;hb=efddbf83a5287c5d668cc04a0c7328cf5ca3e648;hpb=61cad7bbaf63389b520b695eefdd735bc11a8aa6 diff --git a/daemon/daemon.mli b/daemon/daemon.mli index d860714..d351ac2 100644 --- a/daemon/daemon.mli +++ b/daemon/daemon.mli @@ -24,8 +24,9 @@ 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] (in bytecode) + or [$jobsdir/*.cmxs] (in native code). This can raise [Failure] if the operation fails. *)