chiark / gitweb /
main: force exit on keyboard interrupt