Message264093
Serhiy’s patch looks worthwhile to me, though I still think a comment would help. There are lots of different cases being handled by those few lines:
try:
size = os.get_terminal_size(sys.__stdout__.fileno())
except (AttributeError, ValueError, OSError) |
|
Date |
User |
Action |
Args |
2016-04-24 04:40:42 | martin.panter | set | recipients:
+ martin.panter, vstinner, python-dev, serhiy.storchaka, abarry |
2016-04-24 04:40:42 | martin.panter | set | messageid: <1461472842.48.0.0312958262946.issue26801@psf.upfronthosting.co.za> |
2016-04-24 04:40:42 | martin.panter | link | issue26801 messages |
2016-04-24 04:40:42 | martin.panter | create | |
|