From 0a4346e2bbf3349874f71e98b9addfa2490c1c1a Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Fri, 17 May 2024 15:47:18 +0200
Subject: [PATCH] Update mido.sh

---
 src/mido.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/mido.sh b/src/mido.sh
index 56425c3..7308bba 100644
--- a/src/mido.sh
+++ b/src/mido.sh
@@ -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