edited restart_server.sh