stdio: for correctness when using pipes, make sure only one thread reads at a time
commita90740436d6a0f5a0daf381d6f40a7f97c281c43
authorVincent Povirk <madewokherd+d41d@gmail.com>
Sun, 10 Aug 2008 18:26:34 +0000 (10 13:26 -0500)
committerVincent Povirk <madewokherd+d41d@gmail.com>
Sun, 10 Aug 2008 18:26:34 +0000 (10 13:26 -0500)
tree00c0846ac56a57896dfe26a3b3db41c7f689c2cf
parentb2b3881a2d12be7cbf091ff972a2f9c88a224cbe
stdio: for correctness when using pipes, make sure only one thread reads at a time
platform/stdio/ui.py