mirror of
https://github.com/facebook/sapling.git
synced 2024-10-07 23:38:50 +03:00
Use errno.EPIPE rather than 32
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Use errno.EPIPE rather than 32 manifest hash: c9cb2fadf7ef4392b2f16b3f76ca2a39964b7ae0 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.0 (GNU/Linux) iD8DBQFCsNNOywK+sNU5EO8RAudrAKCGKfgsHmSLdt5HYpUtX4S/QSFCQgCeKb7M Qld4CLe1M3aktU0tugb51Gs= =1LB7 -----END PGP SIGNATURE-----
This commit is contained in:
parent
95875aeeae
commit
731d510728
@ -8,7 +8,7 @@
|
||||
import os, re, sys, signal
|
||||
import fancyopts, ui, hg
|
||||
from demandload import *
|
||||
demandload(globals(), "mdiff time hgweb traceback random signal")
|
||||
demandload(globals(), "mdiff time hgweb traceback random signal errno")
|
||||
|
||||
class UnknownCommand(Exception): pass
|
||||
|
||||
@ -743,7 +743,7 @@ def dispatch(args):
|
||||
except KeyboardInterrupt:
|
||||
u.warn("interrupted!\n")
|
||||
except IOError, inst:
|
||||
if inst.errno == 32:
|
||||
if inst.errno == errno.EPIPE:
|
||||
u.warn("broken pipe\n")
|
||||
else:
|
||||
raise
|
||||
|
Loading…
Reference in New Issue
Block a user