From 17726f96c9af39720e364e5a9e883e23a29ac130 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Mon, 10 Jun 2024 20:37:56 +0200
Subject: [PATCH] Update mido.sh

---
 src/mido.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mido.sh b/src/mido.sh
index 98d0505..8b5e0e9 100644
--- a/src/mido.sh
+++ b/src/mido.sh
@@ -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