Fix partial download problem
(1) when checksum fails, better delete the broken files and try the second time; (2) amazon s3 is not good in mainland China, better try one more time with wget Change-Id: I24ee73f216b78bd80564863cd335e5d5a9b56360
This commit is contained in:
@@ -63,7 +63,7 @@ function get_extra_file {
|
||||
if [[ $file_url != file* ]]; then
|
||||
# If the file isn't cache, download it
|
||||
if [[ ! -f $FILES/$file_name ]]; then
|
||||
wget --progress=dot:giga -c $file_url -O $FILES/$file_name
|
||||
wget --progress=dot:giga -t 2 -c $file_url -O $FILES/$file_name
|
||||
if [[ $? -ne 0 ]]; then
|
||||
die "$file_url could not be downloaded"
|
||||
fi
|
||||
|
||||
Reference in New Issue
Block a user