diff options
Diffstat (limited to 'Tools/scripts')
| -rwxr-xr-x | Tools/scripts/xxci.py | 9 |
1 files changed, 6 insertions, 3 deletions
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 @@ def askyesno(prompt): s = raw_input(prompt) return s in ['y', 'yes'] -setup() -go(getargs()) +try: + setup() + go(getargs()) +except KeyboardInterrupt: + print '[Intr]' |