commit | d3592486cee15abf8bbd1ea5d70f92e7168376ce | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Wed Dec 09 23:12:59 1992 +0000 |
committer | Guido van Rossum <guido@python.org> | Wed Dec 09 23:12:59 1992 +0000 |
tree | 57a608267e228dae4945945e10df51ec97083a88 | |
parent | ff3da0502f6b866930b794d971ba5e9daeb594c5 [diff] [blame] |
Friendlier response to interrupt. Use /usr/local/*bin*/python.
diff --git a/Tools/scripts/xxci.py b/Tools/scripts/xxci.py index 74352a0..39bf25e 100755 --- a/Tools/scripts/xxci.py +++ b/Tools/scripts/xxci.py
@@ -1,5 +1,5 @@ #! /ufs/guido/bin/sgi/python -#! /usr/local/python +#! /usr/local/bin/python # xxci # @@ -111,5 +111,8 @@ s = raw_input(prompt) return s in ['y', 'yes'] -setup() -go(getargs()) +try: + setup() + go(getargs()) +except KeyboardInterrupt: + print '[Intr]'