[issue39828] json.tool should catch BrokenPipeError

[STINNER Victor]

STINNER Victor <vstinner at python.org> added the comment:

Thanks Dong-hee Na for the fix.

----------
resolution:  -> fixed
stage: patch review -> resolved
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue39828>
_______________________________________