Update mido.sh

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

View file

@ -548,6 +548,7 @@ downloadFile() {
fi
msg="Failed to download $url"
(( 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