chiark / gitweb /
main: ignore SIGKILL and SIGPIPE so that nothing intereferes with us