chiark / gitweb /
manager: connect SIGRTMIN+24 to terminating --user instances