chiark / gitweb /
manager: Do not handle SIGKILL since we can not