##// END OF EJS Templates
Handle broken pipe on pressing Ctrl-C with e.g. 'hg log|grep something'.
Thomas Arendsen Hein -
r832:b65773f7 default
parent child Browse files
Show More
@@ -1400,7 +1400,14 b' def dispatch(args):'
1400 except SignalInterrupt:
1400 except SignalInterrupt:
1401 u.warn("killed!\n")
1401 u.warn("killed!\n")
1402 except KeyboardInterrupt:
1402 except KeyboardInterrupt:
1403 u.warn("interrupted!\n")
1403 try:
1404 u.warn("interrupted!\n")
1405 except IOError, inst:
1406 if inst.errno == errno.EPIPE:
1407 if u.debugflag:
1408 u.warn("\nbroken pipe\n")
1409 else:
1410 raise
1404 except IOError, inst:
1411 except IOError, inst:
1405 if hasattr(inst, "code"):
1412 if hasattr(inst, "code"):
1406 u.warn("abort: %s\n" % inst)
1413 u.warn("abort: %s\n" % inst)
General Comments 0
You need to be logged in to leave comments. Login now