From e34e49d3064640e01305549413c862ee0a7a79aa Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Sat, 14 Dec 2013 10:32:08 -0800
Subject: Change tools/ to a submodule

---
 tools/bin/restart-all | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100755 tools/bin/restart-all

(limited to 'tools/bin/restart-all')

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
-- 
cgit v1.2.3-60-g2f50