Mirror/docker-minecraft-server
1
0
Fork 0
mirror of https://github.com/itzg/docker-minecraft-server.git synced 2024-06-07 19:40:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fail startup if server properties processing fails (#2460)

Browse Source
This commit is contained in:
Geoff Bourne 2023-11-01 19:08:31 -05:00 committed by GitHub
parent 78fd5457d4
commit 377273e5a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/start-setupServerProperties
View File

@ -115,7 +115,10 @@ function customizeServerProps {
setPropertiesArgs+=(--custom-properties "$CUSTOM_SERVER_PROPERTIES") setPropertiesArgs+=(--custom-properties "$CUSTOM_SERVER_PROPERTIES")
fi fi
mc-image-helper set-properties "${setPropertiesArgs[@]}" "$SERVER_PROPERTIES" if ! mc-image-helper set-properties "${setPropertiesArgs[@]}" "$SERVER_PROPERTIES"; then
log "ERROR: failed to update server.properties"
exit 1
fi
} }