mirror of
https://github.com/itzg/docker-minecraft-server.git
synced 2026-09-04 21:25:01 +00:00
b23fb933668851eb788aa46ef3572c1e1456f632
rm -f $SERVER was a bad idea, as it deletes the server file regardless of whether wget is able to download a new one. If you keep a copy of spigot_server in the server directory, wget will fail if it's unable to pull the file and it wont delete what you already have.
Languages
Shell
97.2%
Dockerfile
2.2%
Mermaid
0.6%