diff --git a/lib/xapi-stdext-threads/threadext.mli b/lib/xapi-stdext-threads/threadext.mli index 62bb50d8..8349ab71 100644 --- a/lib/xapi-stdext-threads/threadext.mli +++ b/lib/xapi-stdext-threads/threadext.mli @@ -23,13 +23,13 @@ module Delay : sig type t val make : unit -> t + + val wait : t -> float -> bool (** Blocks the calling thread for a given period of time with the option of returning early if someone calls 'signal'. Returns true if the full time period elapsed and false if signalled. Note that multple 'signals' are coalesced; 'signals' sent before 'wait' is called are not lost. *) - val wait : t -> float -> bool - (** Sends a signal to a waiting thread. See 'wait' *) - val signal : t -> unit + (** Sends a signal to a waiting thread. See 'wait' *) end