mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-16 11:11:26 +08:00
Properly raise broken pipe exception
This commit is contained in:
1 parent
04708819fb
commit
c6635ccc55
1 file changed
+1
-1
@@ -490,7 +490,7 @@ def pickle_dump(data, file):
|
||||
# Python on Windows don't throw EPIPE errors for pipes. So reraise them with
|
||||
# the correct type and error number.
|
||||
except OSError:
|
||||
raise IOError(errno.EPIPE)
|
||||
raise IOError(errno.EPIPE, "Broken pipe")
|
||||
else:
|
||||
pickle.dump(data, file, protocol=_PICKLE_PROTOCOL)
|
||||
file.flush()
|
||||
|
||||
Reference in new issue
Block a user