mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: fcf80775 | patch | commit | show whitespace
jvergara
21.09.2007 e3481dab82e6849b68bf54205f121e18a647d142 
The following one-line commit avoid problems in the case the user modifies set-java-home (or we keep an old set-java-home).  If calling set-java-hme does not set OPENDS_JAVA_BIN, just try to figure it out from the environment (instead of assuming that set-java-home will do that *always*).
1 files modified
3 ■■■■■ changed files
opends/resource/bin/_script-util.sh 3 ●●●●● patch | view | raw | blame | history 
 opends/resource/bin/_script-util.sh


@@ -32,7 +32,8 @@


  if test -f "${INSTANCE_ROOT}/lib/set-java-home"


  then


    . "${INSTANCE_ROOT}/lib/set-java-home"


  elif test -z "${OPENDS_JAVA_BIN}"


  fi


  if test -z "${OPENDS_JAVA_BIN}"


  then


    if test -z "${OPENDS_JAVA_HOME}"


    then