Only set new plugin directory if not set before

2016-04-13 12:07:46 +02:00 · 2016-04-13 12:07:46 +02:00 · 28bc866686
parent 37a2614f79
commit 28bc866686
1 changed files with 5 additions and 1 deletions
--- 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