diff options
| author | Ben Longbons <b.r.longbons@gmail.com> | 2013-12-14 10:32:08 -0800 |
|---|---|---|
| committer | Ben Longbons <b.r.longbons@gmail.com> | 2013-12-14 10:32:08 -0800 |
| commit | e34e49d3064640e01305549413c862ee0a7a79aa (patch) | |
| tree | 863efe11d5aa9a079188df2c9f0c112c93e13074 /tools/bin/restart-all | |
| parent | 45185408935a56197c308da7ae5d27d72fe06917 (diff) | |
| download | serverdata-e34e49d3064640e01305549413c862ee0a7a79aa.tar.gz serverdata-e34e49d3064640e01305549413c862ee0a7a79aa.tar.bz2 serverdata-e34e49d3064640e01305549413c862ee0a7a79aa.tar.xz serverdata-e34e49d3064640e01305549413c862ee0a7a79aa.zip | |
Change tools/ to a submodule
Diffstat (limited to 'tools/bin/restart-all')
| -rwxr-xr-x | tools/bin/restart-all | 21 |
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 |