mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-30 00:56:44 +01:00
don't require JAVA_HOME
This commit is contained in:
parent
38aac59589
commit
45131a620e
@ -242,7 +242,7 @@ def findVersion( root , choices ):
|
||||
|
||||
def choosePathExist( choices , default=None):
|
||||
for c in choices:
|
||||
if os.path.exists( c ):
|
||||
if c != None and os.path.exists( c ):
|
||||
return c
|
||||
return default
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user