Update mido.sh

This commit is contained in:
Kroese 2025-10-21 20:58:11 +02:00 committed by GitHub
parent 9236127a86
commit 172d405cd4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -487,8 +487,11 @@ getESD() {
info "$msg" && html "$msg" info "$msg" && html "$msg"
rm -rf "$dir" rm -rf "$dir"
mkdir -p "$dir"
if ! makeDir "$dir"; then
error "Failed to create directory \"$dir\" !" && return 1
fi
local xFile="products.xml" local xFile="products.xml"
local eFile="esd_edition.xml" local eFile="esd_edition.xml"
local fFile="products_filter.xml" local fFile="products_filter.xml"