fix notifier_sync

This commit is contained in:
Simon Cruanes 2025-12-05 23:51:52 -05:00
parent 86d44416ff
commit fe416cfbdd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,8 +13,10 @@ let delete = ignore
let[@inline] protect self f = Util_mutex.protect self.mutex f
(** NOTE: the mutex must be acquired *)
let wait self = Condition.wait self.cond self.mutex
let wait self =
Mutex.lock self.mutex;
Condition.wait self.cond self.mutex;
Mutex.unlock self.mutex
(** Ensure we get signalled when the queue goes from empty to non-empty *)
let register_bounded_queue (self : t) (bq : _ Bounded_queue.t) : unit =