[issue39828] json.tool should catch BrokenPipeError
Zhiming Wang
report at bugs.python.org
Sun Oct 11 01:53:53 EDT 2020
Change by Zhiming Wang <zmwangx at gmail.com>:
----------
nosy: +zmwangx
nosy_count: 5.0 -> 6.0
pull_requests: +21618
pull_request: https://github.com/python/cpython/pull/22643
_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue39828>
_______________________________________
More information about the Python-bugs-list
mailing list