oracle-sqldeveloper/java_home.patch

   1 --- a/ide/bin/launcher.sh
   2 +++ b/ide/bin/launcher.sh
   3 @@ -390,22 +390,8 @@ GetDefaultJDK()
   4    # Once the new path for java has been determined, truncate the /bin/java
   5    # ending portion of it and set javahome with the trucated path
   6    #
   7 -  if [ -f "$tmpvar" ]
   8 -  then
   9 -    while [ -h "$tmpvar" ]
  10 -    do
  11 -        tmpvar2=`ls -ls "$tmpvar"`
  12 -        tmpvar2=`expr "$tmpvar2" : '.*-> \(.*\)$'`
  13 -        if [ `expr "$tmpvar2" : "\.\/"` -gt 0 -o `expr "$tmpvar2" : "\.\.\/"` -gt 0 -o `expr "$tmpvar2" : ".*/.*"` -le 0 ]
  14 -        then
  15 -          tmpvar="`dirname "$tmpvar"`/$tmpvar2"
  16 -        else
  17 -          tmpvar="$tmpvar2"
  18 -        fi
  19 -    done
  20 -    tmpvar=`expr "$tmpvar" : '\(.*\)\/bin\/[^\/]*$'`
  21 -    SetJavaHome "$tmpvar"
  22 -  fi
  23 +  tmpvar=`expr "$tmpvar" : '\(.*\)\/bin\/[^\/]*$'`
  24 +  SetJavaHome "$tmpvar"
  25  }
  26
  27  CheckJavaHome()