chiark / gitweb /
util: fix minimal race where we might miss SIGTERMs when forking off an agent