Message237130
> New patch to fix the bug seen by Serhiy.
I thought about different solution:
try:
if input:
self.stdin.write(input)
finally:
self.stdin.close()
But your approach looks working too, |
|
Date |
User |
Action |
Args |
2015-03-03 13:06:42 | serhiy.storchaka | set | recipients:
+ serhiy.storchaka, vstinner, neologix, martin.panter |
2015-03-03 13:06:42 | serhiy.storchaka | set | messageid: <1425388002.84.0.986963139017.issue23570@psf.upfronthosting.co.za> |
2015-03-03 13:06:42 | serhiy.storchaka | link | issue23570 messages |
2015-03-03 13:06:42 | serhiy.storchaka | create | |
|