From f7e8b1ada9ae920ea016bf8397b5bbeabe975fa9 Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Sat, 21 Nov 2015 23:37:52 +1000 Subject: [PATCH] Error out if arkserverroot is not set --- tools/arkmanager | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tools/arkmanager b/tools/arkmanager index 6e4553a..d2c9f9a 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -1484,7 +1484,10 @@ useConfig() { return fi done - source "$1" + if [ -z "$arkserverroot" ]; then + echo "Error: arkserverroot not set" + exit 1 + fi } showUsage() {