Source

pygments-main / pygmentize

Diff from to

pygmentize

 #!/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)