diff options
| -rw-r--r-- | setup_native/scripts/javaloader.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/setup_native/scripts/javaloader.sh b/setup_native/scripts/javaloader.sh index 2cde7b9347de..1bd7e5101e1a 100644 --- a/setup_native/scripts/javaloader.sh +++ b/setup_native/scripts/javaloader.sh @@ -400,6 +400,18 @@ check_jre_version() break fi done + + # check new version format, where version number is not part of line 3 (1.6) + if [ ! "$java_runtime_sufficient" = "yes" ]; then + javaoutput=`$java_runtime -version 2>&1 | head ${tail_args} -3` + for i in $java_versions_supported; do + versionmatch=`echo $javaoutput | grep $i` + if [ ! -z "$versionmatch" ]; then + java_runtime_sufficient="yes" + break + fi + done + fi fi } |