json.tool should catch BrokenPipeError #84009
Description
Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.
Show more details
GitHub fields:
assignee = None
closed_at = <Date 2020-03-10.08:37:56.730>
created_at = <Date 2020-03-02.15:30:28.518>
labels = ['library', '3.9']
title = 'json.tool should catch BrokenPipeError'
updated_at = <Date 2020-10-11.05:53:53.376>
user = 'https://github.com/vstinner'bugs.python.org fields:
activity = <Date 2020-10-11.05:53:53.376>
actor = 'zmwangx'
assignee = 'none'
closed = True
closed_date = <Date 2020-03-10.08:37:56.730>
closer = 'vstinner'
components = ['Library (Lib)']
creation = <Date 2020-03-02.15:30:28.518>
creator = 'vstinner'
dependencies = []
files = []
hgrepos = []
issue_num = 39828
keywords = ['patch']
message_count = 7.0
messages = ['363185', '363190', '363369', '363806', '363812', '363813', '363814']
nosy_count = 6.0
nosy_names = ['vstinner', 'corona10', 'zmwangx', 'miss-islington', 'remi.lapeyre', 'hakancelik']
pr_nums = ['18779', '18894', '18895', '22643']
priority = 'normal'
resolution = 'fixed'
stage = 'resolved'
status = 'closed'
superseder = None
type = None
url = 'https://bugs.python.org/issue39828'
versions = ['Python 3.9']