mirror of
https://github.com/facebook/sapling.git
synced 2024-10-07 23:38:50 +03:00
Catch broken pipes in command interpreter
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Catch broken pipes in command interpreter manifest hash: b1550ec705836af571bf0c0921d9e768ac5e5e80 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCoipEywK+sNU5EO8RAg2WAKCu3NUArYzOX2UwGj8pv3AnDQCwoQCffPWk RcaNt0+COwST2FlbQQOxEk8= =jbZG -----END PGP SIGNATURE-----
This commit is contained in:
parent
f95bf8d95c
commit
aef4dbabbe
@ -571,6 +571,11 @@ def dispatch(args):
|
||||
u.warn("killed!\n")
|
||||
except KeyboardInterrupt:
|
||||
u.warn("interrupted!\n")
|
||||
except IOError, inst:
|
||||
if inst.errno == 32:
|
||||
u.warn("broken pipe\n")
|
||||
else:
|
||||
raise
|
||||
except TypeError, inst:
|
||||
import traceback
|
||||
# was this an argument error?
|
||||
|
Loading…
Reference in New Issue
Block a user