1 files changed, 0 insertions, 21 deletions
diff --git a/tools/bin/restart-all b/tools/bin/restart-all
deleted file mode 100755
index 5d7e2425..00000000
--- a/tools/bin/restart-all
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/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