diff options
| author | Jannis Leidel <jannis@leidel.info> | 2011-04-30 23:20:34 +0200 |
|---|---|---|
| committer | Jannis Leidel <jannis@leidel.info> | 2011-04-30 23:20:34 +0200 |
| commit | b1f2a9fddaa407cfbee6f249a52129e370800bd1 (patch) | |
| tree | f41c2246cb66fe1aac134195fe788bd72baf2853 /pip/basecommand.py | |
| parent | 6b6f4947c3b9747bef216ccf31f9c20c8bb255a9 (diff) | |
| parent | 743124094bb98e73ff47addb1e3886bc9411c1e1 (diff) | |
| download | pip-1.0.1.tar.gz | |
Merge branch 'release/1.0.1'1.0.1
Diffstat (limited to 'pip/basecommand.py')
| -rw-r--r-- | pip/basecommand.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pip/basecommand.py b/pip/basecommand.py index 956dc9fa0..153ee52be 100644 --- a/pip/basecommand.py +++ b/pip/basecommand.py @@ -134,6 +134,10 @@ class Command(object): logger.fatal(str(e)) logger.info('Exception information:\n%s' % format_exc()) exit = 1 + except KeyboardInterrupt: + logger.fatal('Operation cancelled by user') + logger.info('Exception information:\n%s' % format_exc()) + exit = 1 except: logger.fatal('Exception:\n%s' % format_exc()) exit = 2 |