This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg 28220310a5 Use a lock port to ensure parent has exited (fixes #450)

2014-07-31 21:29:44 +02:00

25 KiB

Raw Blame History

View Raw