# -*- mode: sh; sh-shell: zsh; -*-

mysql_get_single_version_number() {
    declare -r version_file="$1"
    declare -r key="$2"

    declare -r ver_str=$(grep "$2" "$version_file")
    declare -i -r ver="${ver_str//[^0-9]/}"
    if [ -n "$ver" ]; then
        echo "$ver"
        return 0
    fi
    return 1
}
