diff options
Diffstat (limited to 'include/profiles')
| -rw-r--r-- | include/profiles | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/profiles b/include/profiles index 9a8e161a..dc509454 100644 --- a/include/profiles +++ b/include/profiles @@ -223,9 +223,9 @@ # Plugin directory plugindir | plugin-dir) - if [ "${PLUGINDIR}" = "" ]; then + if IsEmpty "${PLUGINDIR}"; then PLUGINDIR="${VALUE}" - else + else LogText "Plugin directory was already set to ${PLUGINDIR} before (most likely as a program argument), not overwriting" fi AddSetting "plugin-dir" "${PLUGINDIR}" "Plugin directory" |