mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-30 17:10:48 +01:00
Merge branch 'master' of git@github.com:mongodb/mongo
This commit is contained in:
commit
552fe0fc2c
@ -141,6 +141,10 @@ def lose(name, logfh, losefh):
|
||||
print >> losefh, "=== End loser %s ===" % name
|
||||
|
||||
def wait(procs, winfh, losefh, winners, losers):
|
||||
# emit a blank line, so that the buildbot doesn't kill us off
|
||||
# while waiting for output.
|
||||
sys.stdout.write('.')
|
||||
sys.stdout.flush
|
||||
try:
|
||||
(pid, stat) = os.wait()
|
||||
except OSError, err:
|
||||
|
Loading…
Reference in New Issue
Block a user