From c6635ccc557a6d75f892150850356427ca3c4fbb Mon Sep 17 00:00:00 2001 From: micbou Date: Fri, 23 Mar 2018 17:44:50 +0100 Subject: [PATCH] Properly raise broken pipe exception --- jedi/_compatibility.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/_compatibility.py b/jedi/_compatibility.py index 1660f01e..5dd5fed8 100644 --- a/jedi/_compatibility.py +++ b/jedi/_compatibility.py @@ -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()