This commit is contained in:
Gunter Labes 2009-03-28 06:58:10 +00:00
parent 5b4945e4e8
commit 6319593a87

View file

@ -8,7 +8,7 @@ SERVER=$1
SERVERBASE=$HOME/servers/$SERVER
SOCKET=$SERVERBASE/build/var/run/socket
[ -d "$SERVERBASE" ] die "Server '$SERVER' not found."
[ -d "$SERVERBASE" ] || die "Server '$SERVER' not found."
shift
if [ "$*" = "" ]; then
message="The server will get restarted now. Please don't forget to save your game!"