diff options
Diffstat (limited to 'tools/bin/restart-world')
-rwxr-xr-x | tools/bin/restart-world | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/tools/bin/restart-world b/tools/bin/restart-world deleted file mode 100755 index ccd9e453..00000000 --- a/tools/bin/restart-world +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/bash -e -cd "$1" -shift - -source restart-config - -for ARG -do - if [ "$ARG" = --auto ] - then - PULL=y - elif [ "$ARG" = --manual ] - then - PULL= - else - echo unknown argument - exit 1 - fi -done - -if test -n "$PULL" -then - git pull - (cd world/map/conf; cat magic.conf.template | ./spells-build > magic.conf) -fi - -restart-pid tmwa-char -restart-pid tmwa-map |