0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-30 00:56:44 +01:00

try to fix build

This commit is contained in:
Eliot Horowitz 2010-05-14 23:37:29 -04:00
parent d86eb95908
commit bb4dc1d191

View File

@ -51,3 +51,15 @@ def ensureDir( name ):
os.makedirs( d )
if not os.path.exists( d ):
raise "Failed to create dir: " + name
def didMongodStart( port=27017 , timeout=20 ):
while timeout > 0:
time.sleep( 1 )
try:
checkMongoPort( port )
return True
except Exception,e:
print( e )
timeout = timeout - 1
return False