Update mido.sh

This commit is contained in:
Kroese 2024-05-17 15:47:18 +02:00 committed by GitHub
parent f9a2c76bfa
commit 0a4346e2bb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -461,6 +461,7 @@ getESD() {
local fFile="products_filter.xml"
{ wget "$winCatalog" -O "$dir/$wFile" -q --timeout=10; rc=$?; } || :
(( rc == 4 )) && error "Failed to download $winCatalog , network failure!" && return 1
(( rc != 0 )) && error "Failed to download $winCatalog , reason: $rc" && return 1
cd "$dir"
@ -587,7 +588,11 @@ downloadFile() {
fi
fi
error "Failed to download $url , reason: $rc"
if (( rc != 4 )); then
error "Failed to download $url , reason: $rc"
else
error "Failed to download $url , network failure!"
fi
rm -f "$iso"
return 1