fix download.py empty line, test=develop (#19870)

expand_as_op_1
Zeng Jinle 6 years ago committed by GitHub
parent 1f68674483
commit bf8367367e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -72,6 +72,9 @@ def download(url, module_name, md5sum, save_name=None):
url.split('/')[-1]
if save_name is None else save_name)
if os.path.exists(filename) and md5file(filename) == md5sum:
return filename
retry = 0
retry_limit = 3
while not (os.path.exists(filename) and md5file(filename) == md5sum):

Loading…
Cancel
Save