|
|
@ -412,8 +412,8 @@ download_file() { |
|
|
|
if [ "$mirror" -a "$mirror" != "none" ] ; then |
|
|
|
# try to use mirror |
|
|
|
if ! download_file_now "!$mirror/${bzfile#download/}" $bzfile $bzfile; then |
|
|
|
# oops... so try direct |
|
|
|
echo "INFO: download from mirror failed, trying direct." |
|
|
|
# oops... so try direct (original URL) |
|
|
|
echo "INFO: download from mirror failed, trying original URL." |
|
|
|
download_file_now $location $gzfile $bzfile |
|
|
|
else |
|
|
|
gzfile="$bzfile" |
|
|
|