Message363185
The json.tool module doesn't catch BrokenPipeError:
-----------------------
$ echo "{}" | python3 -m json.tool | true
BrokenPipeError: [Errno 32] Broken pipe
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/usr/lib64/python3.7/runpy.py", line 193, in _run_module_as_main
"__main__", mod_spec)
File "/usr/lib64/python3.7/runpy.py", line 85, in _run_code
exec(code, run_globals)
File "/usr/lib64/python3.7/json/tool.py", line 45, in <module>
main()
File "/usr/lib64/python3.7/json/tool.py", line 41, in main
outfile.write('\n')
BrokenPipeError: [Errno 32] Broken pipe
-----------------------
json.tool should catch BrokenPipeError. |
|
Date |
User |
Action |
Args |
2020-03-02 15:30:28 | vstinner | set | recipients:
+ vstinner |
2020-03-02 15:30:28 | vstinner | set | messageid: <1583163028.53.0.26021214856.issue39828@roundup.psfhosted.org> |
2020-03-02 15:30:28 | vstinner | link | issue39828 messages |
2020-03-02 15:30:28 | vstinner | create | |
|