chiark / gitweb /
on SIGINT, do not exit 0