chiark / gitweb /
Capture the KeyboardInterrupt exception