chiark / gitweb /
Capture the KeyboardInterrupt exception
authorCatalin Marinas <catalin.marinas@gmail.com>
Thu, 27 Oct 2005 19:47:25 +0000 (20:47 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Thu, 27 Oct 2005 19:47:25 +0000 (20:47 +0100)
This is to avoid a stack back-trace when a command is interrupted by the
user.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>

No differences found