From 172d405cd45012c28533a53e79dfdae784c4e063 Mon Sep 17 00:00:00 2001 From: Kroese Date: Tue, 21 Oct 2025 20:58:11 +0200 Subject: [PATCH] Update mido.sh --- src/mido.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/mido.sh b/src/mido.sh index cc5b251..369fc17 100644 --- a/src/mido.sh +++ b/src/mido.sh @@ -487,8 +487,11 @@ getESD() { info "$msg" && html "$msg" rm -rf "$dir" - mkdir -p "$dir" + if ! makeDir "$dir"; then + error "Failed to create directory \"$dir\" !" && return 1 + fi + local xFile="products.xml" local eFile="esd_edition.xml" local fFile="products_filter.xml"