Changeset 31751 for main

Timestamp:

26.06.2017 13:59:00 (2 years ago)

Author:

ak19

Message:

Added check for JRE_HOME if no JAVA_HOME

Files:

• main/trunk/greenstone2/bin/script/gti.pl (modified) (1 diff)

main/trunk/greenstone2/bin/script/gti.pl

@@ -793 +793 @@
     if(defined($ENV{'JAVA_HOME'}) && $ENV{'JAVA_HOME'} ne ""){
         $java_exec = &util::filename_cat($ENV{'JAVA_HOME'}, "bin", "java");
+    } elsif(defined($ENV{'JRE_HOME'}) && $ENV{'JRE_HOME'} ne ""){
+        $java_exec = &util::filename_cat($ENV{'JRE_HOME'}, "bin", "java");
     }