chiark / gitweb /
exit cleanly on SIGINT