This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

URL PR 18779
Status merged
Title bpo-39828: Fix json.tool to catch BrokenPipeError.
History
Date User Action Args
2020-03-10 07:41:46corona10setstatus: open -> merged
2020-03-08 17:21:17corona10settitle: [WIP] bpo-39828: Fix json.tool to catch BrokenPipeError. -> bpo-39828: Fix json.tool to catch BrokenPipeError.
2020-03-08 16:30:56corona10settitle: bpo-39828: Fix json.tool to catch BrokenPipeError. -> [WIP] bpo-39828: Fix json.tool to catch BrokenPipeError.
2020-03-07 00:35:56corona10settitle: bpo-39828: Updated json.tool to catch BrokenPipeError. -> bpo-39828: Fix json.tool to catch BrokenPipeError.
2020-03-07 00:34:37corona10settitle: bpo-39828: Fix json.tool to ignore BrokenPipeError. -> bpo-39828: Updated json.tool to catch BrokenPipeError.
2020-03-04 16:00:37corona10linkissue39828 pull_requests
2020-03-04 16:00:37corona10create