VERSION="$DEFAULT_VERSION"
fi
- if [ "$FTP_TOOL" != "wget" ] || [ "$FTP_TOOL" != "curl" ] || [ "$FTP_TOOL" != "ncftpget" ]; then
+ if [ "$FTP_TOOL" != "wget" ] && [ "$FTP_TOOL" != "curl" ] && [ "$FTP_TOOL" != "ncftpget" ]; then
echo "$1 configuration error: invalid value $FTP_TOOL for config parameter FTP_TOOL"
echo "$1 assuming value \"curl\" for variable FTP_TOOL"
FTP_TOOL="curl"
fi
- if [ "$HTTP_TOOL" != "wget" ] || [ "$HTTP_TOOL" != "curl" ]; then
+ if [ "$HTTP_TOOL" != "wget" ] && [ "$HTTP_TOOL" != "curl" ]; then
echo "$1 configuration error: invalid value $HTTP_TOOL for config parameter HTTP_TOOL"
echo "$1 assuming value \"curl\" for variable HTTP_TOOL"
HTTP_TOOL="curl"