tools/bin/restart-all


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#!/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