Handle KeyboardInterrupt exceptions correctly
commit80a504e6fd2a2a6bd85ecc7e4c061c63b3242338
authorThomas Leonard <talex5@gmail.com>
Sun, 19 Jul 2009 09:38:16 +0000 (19 10:38 +0100)
committerThomas Leonard <talex5@gmail.com>
Sun, 19 Jul 2009 13:24:19 +0000 (19 14:24 +0100)
tree77c425ef528d1840adcc93a477c4e96c0474a3cc
parent6beeda56c36e626ba25f347c23ec86f96d2c37e9
Handle KeyboardInterrupt exceptions correctly

These now need to be caught explicitly.
zeroinstall/injector/handler.py
zeroinstall/support/tasks.py