path: root/tools/bin/restart-all

#!/bin/bash -e
source restart-config
if test -n "$REBUILD"
then
    cd $SERVER_SOURCE
    git pull
    make
    make install prefix=${HOME}
fi

restart-login $LOGIN_WORLD

for world in ${AUTO_WORLDS[@]}
do
    restart-world $world --auto
done

for world in ${MANUAL_WORLDS[@]}
do
    restart-world $world --manual
done