diff --git a/Scripts/7D2D-Manage.bash b/Scripts/7D2D-Manage.bash index f079b4c..342890d 100644 --- a/Scripts/7D2D-Manage.bash +++ b/Scripts/7D2D-Manage.bash @@ -269,7 +269,7 @@ start_server() { # xmllint, helps avoiding the random server launch failures for apparently no reason local lint_dirs - lint_dirs=("${server_directory}"/*.xml, "${server_directory}/Saves/"*.xml) + lint_dirs=("${server_directory}"/*.xml "${server_directory}/Saves/"*.xml) if which xmllint >/dev/null 2>&1; then for xml_file in "${lint_dirs[@]}"; do log "info" "Linting $(important "${xml_file}")"