diff --git a/include/profiles b/include/profiles index a95d2790..47fa4770 100644 --- a/include/profiles +++ b/include/profiles @@ -54,6 +54,11 @@ done ;; + # Check for a specific value + check-value) + STRING=$(echo ${VALUE} | tr -d "[" | tr -d "]" | sed "s/, /,/g") + CHECK_VALUE_ARRAY="${CHECK_OPTION_ARRAY} ${STRING}" + ;; # Maximum number of WAITing connections connections_max_wait_state) OPTIONS_CONN_MAX_WAIT_STATE="${VALUE}" @@ -307,7 +312,6 @@ ################################################################################# # # Set default values (only if not configured in profile) - if [ "${MACHINE_ROLE}" = "" ]; then MACHINE_ROLE="server" LogText "Set option to default value: MACHINE_ROLE --> ${MACHINE_ROLE}"