diff options
| author | Michael Boelen <michael.boelen@cisofy.com> | 2017-04-30 18:59:35 +0300 |
|---|---|---|
| committer | Michael Boelen <michael.boelen@cisofy.com> | 2017-04-30 18:59:35 +0300 |
| commit | 4ecb9d4d05124b813cd4d7ddcaf5671c2f4c4765 (patch) | |
| tree | 282f5a4e9e3530ada04d00bda3e8ac118cf70bbd /include/profiles | |
| parent | 5ccd0912cf74f5d3dd07e5ed5fe0e6a30571fbb5 (diff) | |
[bulk change] cleaning up, code enhancements, initialization of variables, and new tests
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" |