diff options
-rwxr-xr-x | firma | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1366,9 +1366,7 @@ case $# in -a|--admin-task|-p|--process-message) # if config file exists but has wrong permissions or ownership - if [[ -f "$LIST_CONFIG_FILE" ]] && ! CheckPermission $LIST_CONFIG_FILE; then - EXIT_CODE="1" - elif [[ -f "$LIST_CONFIG_FILE" ]]; then + if [[ -f "$LIST_CONFIG_FILE" ]]; then # if the configuration file exists, disable bash's #+sourcepath and evaluate list parameters |