changeset 2142:aa25f94ba00c

<fizzie> cp $(which js) bin/js
author HackBot
date Sat, 16 Feb 2013 00:36:54 +0000
parents 44647bca60bc
children f77f3fbeefe1
files bin/js
diffstat 1 files changed, 22 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/js	Sat Feb 16 00:36:54 2013 +0000
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+JAVA_CMD="/usr/bin/java"
+JAVA_OPTS=""
+JAVA_CLASSPATH="/usr/share/java/js.jar:/usr/share/java/jline.jar"
+JAVA_MAIN="org.mozilla.javascript.tools.shell.Main"
+
+## Fix for #512498
+## Change Bootclasspath when using OpenJDK because OpenJDK6
+## bundle his own release of Rhino.
+## References:
+## <https://bugs.launchpad.net/ubuntu/+source/openjdk-6/+bug/255149>
+## <http://icedtea.classpath.org/bugzilla/show_bug.cgi?id=179>
+## <http://www.openoffice.org/issues/show_bug.cgi?id=91641>
+isOpenJDK=`$JAVA_CMD -version 2>&1 | grep -i "OpenJDK" | wc -l`
+if [ $isOpenJDK -gt 0 ]
+then
+	JAVA_OPTS="-Xbootclasspath:/usr/lib/jvm/java-6-openjdk/jre/lib/rt.jar"
+fi
+
+
+$JAVA_CMD $JAVA_OPTS -classpath $JAVA_CLASSPATH $JAVA_MAIN $@