mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-30 17:10:48 +01:00
safety for version string
This commit is contained in:
parent
7b933846b1
commit
69d221f946
@ -1468,6 +1468,9 @@ def getCodeVersion():
|
||||
return None
|
||||
return allMatches[0]
|
||||
|
||||
if getCodeVersion() == None:
|
||||
Exit(-1)
|
||||
|
||||
def getDistName( sofar ):
|
||||
global distName
|
||||
global dontReplacePackage
|
||||
|
Loading…
Reference in New Issue
Block a user