X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=daemon%2Fdaemon.mli;h=d351ac285ad4644336ff95145c9d025e3871f304;hb=080d38e64fe2aaec17e3ff853682188196b429f9;hp=d860714675276daced0d307e20dc708b2c7b8945;hpb=61cad7bbaf63389b520b695eefdd735bc11a8aa6;p=whenjobs.git

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. *)