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