Changeset 31751

Timestamp:

2017-06-26T13:59:00+12:00 (7 years ago)

Author:

ak19

Message:

Added check for JRE_HOME if no JAVA_HOME

File:

• 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");
     }