diff --git a/Scripts/7D2D-Manage.bash b/Scripts/7D2D-Manage.bash index a537d80..f079b4c 100644 --- a/Scripts/7D2D-Manage.bash +++ b/Scripts/7D2D-Manage.bash @@ -268,8 +268,10 @@ start_server() { mv "temp-serverconfig.xml" "${server_config}" # xmllint, helps avoiding the random server launch failures for apparently no reason + local lint_dirs + lint_dirs=("${server_directory}"/*.xml, "${server_directory}/Saves/"*.xml) if which xmllint >/dev/null 2>&1; then - for xml_file in "${server_directory}"/{*,"Saves/"*}.xml; do + for xml_file in "${lint_dirs[@]}"; do log "info" "Linting $(important "${xml_file}")" if ! xmllint "${xml_file}" >/dev/null; then log "error" "Xml parsing error in $(important "${xml_file}"), resolve the error and attempt to start again"