##// END OF EJS Templates
Catch broken pipes in command interpreter...
mpm@selenic.com -
r250:45ee7c4c default
parent child Browse files
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