fix fifo_pool: raise Shutdown, not Closed, in run

This commit is contained in:
Simon Cruanes 2023-10-25 22:11:08 -04:00
parent 3f720241b2
commit 530507d84e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -12,7 +12,8 @@ let[@inline] size_ (self : state) = Array.length self.threads
let[@inline] num_tasks_ (self : state) : int = Bb_queue.size self.q
(** Run [task] as is, on the pool. *)
let run_direct_ (self : state) (task : task) : unit = Bb_queue.push self.q task
let run_direct_ (self : state) (task : task) : unit =
try Bb_queue.push self.q task with Bb_queue.Closed -> raise Shutdown
let rec run_async_ (self : state) (task : task) : unit =
let task' () =