Message126109
Agreed with Charles-François, this is normal behaviour since the bytes written on stdout are buffered (up to a certain size). If calling flush() doesn't solve the issue, please reopen the issue. |
|
Date |
User |
Action |
Args |
2011-01-12 16:10:16 | pitrou | set | recipients:
+ pitrou, akuchling, edemaine, schmir, naufraghi, forest_atq, sascha_silbe, neologix |
2011-01-12 16:10:16 | pitrou | set | messageid: <1294848616.57.0.709576998995.issue1488934@psf.upfronthosting.co.za> |
2011-01-12 16:10:12 | pitrou | link | issue1488934 messages |
2011-01-12 16:10:12 | pitrou | create | |
|