equal
deleted
inserted
replaced
569 return d() |
569 return d() |
570 except SignalInterrupt: |
570 except SignalInterrupt: |
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? |
577 tb = traceback.extract_tb(sys.exc_info()[2]) |
582 tb = traceback.extract_tb(sys.exc_info()[2]) |
578 if len(tb) > 2: # no |
583 if len(tb) > 2: # no |