From f0423f2558e4f60249d1434589dc9239476e3fed Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 5 Jun 2024 18:31:23 +0200
Subject: [PATCH] Update mido.sh

---
 src/mido.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/mido.sh b/src/mido.sh
index 634ddb2..98d0505 100644
--- a/src/mido.sh
+++ b/src/mido.sh
@@ -417,9 +417,10 @@ getESD() {
 
   { wget "$winCatalog" -O "$dir/$wFile" -q --timeout=30; rc=$?; } || :
 
-  (( rc == 4 )) && error "Failed to download $winCatalog , network failure!" && return 1
-  (( rc == 8 )) && error "Failed to download $winCatalog , server issued an error response!" && return 1
-  (( rc != 0 )) && error "Failed to download $winCatalog , reason: $rc" && return 1
+  msg="Failed to download $winCatalog"
+  (( 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
 
   cd "$dir"