commit | dc3c53cf8d65bebd2ced151f693a78c47ae939de | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Mon May 16 09:30:26 1994 +0000 |
committer | Guido van Rossum <guido@python.org> | Mon May 16 09:30:26 1994 +0000 |
tree | 427e62f21f1584a0d7532c13d13ead32d1ddf933 | |
parent | 3ac5b00d4091e2c06bafe5fc5fb18798d3fa701b [diff] |
Don't use thread.exit_prog; let child die if EOF read