modded restart_server.sh