Message165955
The problem is that os.wait() is returning when the wrong process exits.
You can fix this by specifying the pid you are waiting for by doing "os.waitpid(pid, 0)" instead of "os.wait()".
Arguably os.popen() and subprocess.communicate() etc should always reap the pid of the process they started. |
|
Date |
User |
Action |
Args |
2012-07-20 17:45:34 | sbt | set | recipients:
+ sbt, doerwalter |
2012-07-20 17:45:34 | sbt | set | messageid: <1342806334.74.0.710325555785.issue15408@psf.upfronthosting.co.za> |
2012-07-20 17:45:34 | sbt | link | issue15408 messages |
2012-07-20 17:45:33 | sbt | create | |
|