Changeset 31751

Show
Ignore:
Timestamp:
26.06.2017 13:59:00 (5 weeks ago)
Author:
ak19
Message:

Added check for JRE_HOME if no JAVA_HOME

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/greenstone2/bin/script/gti.pl

    r30844 r31751  
    793793    if(defined($ENV{'JAVA_HOME'}) && $ENV{'JAVA_HOME'} ne ""){ 
    794794        $java_exec = &util::filename_cat($ENV{'JAVA_HOME'}, "bin", "java"); 
     795    } elsif(defined($ENV{'JRE_HOME'}) && $ENV{'JRE_HOME'} ne ""){ 
     796        $java_exec = &util::filename_cat($ENV{'JRE_HOME'}, "bin", "java"); 
    795797    } 
    796798