Show More
@@ -571,6 +571,11 b' def dispatch(args):' | |||||
571 | u.warn("killed!\n") |
|
571 | u.warn("killed!\n") | |
572 | except KeyboardInterrupt: |
|
572 | except KeyboardInterrupt: | |
573 | u.warn("interrupted!\n") |
|
573 | u.warn("interrupted!\n") | |
|
574 | except IOError, inst: | |||
|
575 | if inst.errno == 32: | |||
|
576 | u.warn("broken pipe\n") | |||
|
577 | else: | |||
|
578 | raise | |||
574 | except TypeError, inst: |
|
579 | except TypeError, inst: | |
575 | import traceback |
|
580 | import traceback | |
576 | # was this an argument error? |
|
581 | # was this an argument error? |
General Comments 0
You need to be logged in to leave comments.
Login now