Handle KeyboardInterrupt better
commit70eecb55ee604b48ef930bd6077087f0dbcf2e3a
authorThomas Leonard <talex5@gmail.com>
Sat, 3 Dec 2011 10:43:20 +0000 (3 10:43 +0000)
committerThomas Leonard <talex5@gmail.com>
Sat, 3 Dec 2011 10:43:20 +0000 (3 10:43 +0000)
treefef372f3a4ca5a11b75b600e7b669b45717d5c21
parentcfaa14df0fdaa715d114ecca8d54cf785b7e6bd8
Handle KeyboardInterrupt better

(don't display a stack-trace)
zeroinstall/0launch-gui/0launch-gui
zeroinstall/cmd/__init__.py
zeroinstall/injector/cli.py