Update mido.sh

This commit is contained in:
Kroese 2024-06-10 20:38:49 +02:00 committed by GitHub
parent 17726f96c9
commit 66db5cd11e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -418,6 +418,7 @@ getESD() {
{ wget "$winCatalog" -O "$dir/$wFile" -q --timeout=30; rc=$?; } || :
msg="Failed to download $winCatalog"
(( rc == 3 )) && error "$msg , cannot write file (disk full?)" && return 1
(( rc == 4 )) && error "$msg , network failure!" && return 1
(( rc == 8 )) && error "$msg , server issued an error response!" && return 1
(( rc != 0 )) && error "$msg , reason: $rc" && return 1