blob: dc7cd50240dba81c4ad8854f53de39ed3c779d66 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
diff --git a/ide/bin/launcher.sh b/ide/bin/launcher.sh
index 4df8ad9..900ad73 100644
--- a/ide/bin/launcher.sh
+++ b/ide/bin/launcher.sh
@@ -937,18 +937,6 @@ GetDefaultJDK()
#
if [ -f "$tmpvar" ]
then
- while [ -h "$tmpvar" ]
- do
- EchoIfVerbose "Found symlinked JDK, following symlink: $tmpvar"
- tmpvar2=`ls -ls "$tmpvar"`
- tmpvar2=`expr "$tmpvar2" : '.*-> \(.*\)$'`
- if [ `expr "$tmpvar2" : "\.\/"` -gt 0 -o `expr "$tmpvar2" : "\.\.\/"` -gt 0 -o `expr "$tmpvar2" : ".*/.*"` -le 0 ]
- then
- tmpvar="`dirname "$tmpvar"`/$tmpvar2"
- else
- tmpvar="$tmpvar2"
- fi
- done
tmpvar=`expr "$tmpvar" : '\(.*\)\/bin\/[^\/]*$'`
SetJavaHome "$tmpvar"
EchoIfVerbose "Found existing default JDK $tmpvar"
|