mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 06:31:10 +00:00
Use semaphore down feature of NOVA to set the counter to zero. If the semaphore was up()ed more than one time by impatient callers (e.g. guys calling cancel_blocking) we make sure that the thread really stops.