| commit | 8da15cc2189a97500e83cd50ab761920365fcdf1 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@dropbox.com> | Mon Oct 21 15:00:44 2013 -0700 |
| committer | Guido van Rossum <guido@dropbox.com> | Mon Oct 21 15:00:44 2013 -0700 |
| tree | 9e06dd22ba3176703c074833a1974e4c5fb10b99 | |
| parent | 22c31764262b02338265a059c738b8d24fd9a0e4 [diff] |
asyncio: be more lenient if we don't understand status returned by waitpid(). This should have no effect, it's a "shouldn't happe" case. Also tidied up some comments.