mirror of
https://github.com/debauchee/barrier.git
synced 2026-02-08 04:45:03 +08:00
already dead. Otherwise the signal could propagate to the parent thread (at least on linux threads) and cause havoc.
already dead. Otherwise the signal could propagate to the parent thread (at least on linux threads) and cause havoc.