diff options
| author | gbrandl <devnull@localhost> | 2008-01-11 17:56:20 +0100 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2008-01-11 17:56:20 +0100 |
| commit | 7237b2ca3f1512032d40d7a73676037750d086ec (patch) | |
| tree | 76df4da0a04d5ede829dfb3aa8f4e8a5f2865edf /pygmentize | |
| parent | 586152b08e1b7a7cb1af80a4e9f2188314f6a61c (diff) | |
| download | pygments-7237b2ca3f1512032d40d7a73676037750d086ec.tar.gz | |
Handle a few more errors gracefully.
Diffstat (limited to 'pygmentize')
| -rwxr-xr-x | pygmentize | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,4 +1,7 @@ #!/usr/bin/env python import sys, pygments.cmdline -sys.exit(pygments.cmdline.main(sys.argv)) +try: + sys.exit(pygments.cmdline.main(sys.argv)) +except KeyboardInterrupt: + sys.exit(1) |
