From 28bc8666860fb854a68d9823abacbe692b33f4bf Mon Sep 17 00:00:00 2001 From: mboelen Date: Wed, 13 Apr 2016 12:07:46 +0200 Subject: [PATCH] Only set new plugin directory if not set before --- include/profiles | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/include/profiles b/include/profiles index 7fdb821d..75fe6f0b 100644 --- a/include/profiles +++ b/include/profiles @@ -144,7 +144,11 @@ # Plugin directory plugindir) - PLUGINDIR="${VALUE}" + if [ "${PLUGINDIR}" = "" ]; then + PLUGINDIR="${VALUE}" + else + LogText "Plugin directory was already set to ${PLUGINDIR} before (most likely as a program argument), not overwriting" + fi ;; # Profile name