5643
|
1 #!/bin/sh
|
|
2
|
|
3 JAVA_CMD="/usr/bin/java"
|
|
4 JAVA_OPTS=""
|
|
5 JAVA_CLASSPATH="/usr/share/java/js.jar:/usr/share/java/jline.jar"
|
|
6 JAVA_MAIN="org.mozilla.javascript.tools.shell.Main"
|
|
7
|
|
8 ## Fix for #512498
|
|
9 ## Change Bootclasspath when using OpenJDK because OpenJDK6
|
|
10 ## bundle his own release of Rhino.
|
|
11 ## References:
|
|
12 ## <https://bugs.launchpad.net/ubuntu/+source/openjdk-6/+bug/255149>
|
|
13 ## <http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=179>
|
|
14 ## <http://www.openoffice.org/issues/show_bug.cgi?id=91641>
|
|
15 isOpenJDK=`$JAVA_CMD -version 2>&1 | grep -i "OpenJDK" | wc -l`
|
|
16 if [ $isOpenJDK -gt 0 ]
|
|
17 then
|
|
18 JAVA_OPTS="-Xbootclasspath:/usr/lib/jvm/java-6-openjdk/jre/lib/rt.jar"
|
|
19 fi
|
|
20
|
|
21
|
|
22 $JAVA_CMD -classpath $JAVA_CLASSPATH $JAVA_MAIN -e "$@"
|