summaryrefslogtreecommitdiff
path: root/tools/bin/restart-all
diff options
context:
space:
mode:
Diffstat (limited to 'tools/bin/restart-all')
-rwxr-xr-xtools/bin/restart-all21
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/bin/restart-all b/tools/bin/restart-all
new file mode 100755
index 00000000..5d7e2425
--- /dev/null
+++ b/tools/bin/restart-all
@@ -0,0 +1,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