1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
#! /bin/sh
if [ -z "$JAVACMD" ] ; then
if [ -n "$JAVA_HOME" ] ; then
if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
# IBM's JDK on AIX uses strange locations for the executables
JAVACMD="$JAVA_HOME/jre/sh/java"
else
JAVACMD="$JAVA_HOME/bin/java"
fi
else
JAVACMD=`which java 2> /dev/null `
if [ -z "$JAVACMD" ] ; then
JAVACMD=java
fi
fi
fi
if [ ! -x "$JAVACMD" ] ; then
echo "Error: JAVA_HOME is not defined correctly."
echo " We cannot execute $JAVACMD"
exit 1
fi
if [ -n "$CLASSPATH" ] ; then
LOCALCLASSPATH="$CLASSPATH"
fi
HTMLPARSER_LIB="/usr/share/java"
# add in the parser .jar file
if [ -z "$LOCALCLASSPATH" ] ; then
LOCALCLASSPATH="${HTMLPARSER_LIB}/libhtmlparser.jar"
else
LOCALCLASSPATH="${HTMLPARSER_LIB}/libhtmlparser.jar":"$LOCALCLASSPATH"
fi
# handle 1.1x JDKs
if [ -n "$JAVA_HOME" ] ; then
if [ -f "$JAVA_HOME/lib/classes.zip" ] ; then
LOCALCLASSPATH="$LOCALCLASSPATH:$JAVA_HOME/lib/classes.zip"
fi
fi
"$JAVACMD" -classpath "$LOCALCLASSPATH" org.htmlparser.beans.BeanyBaby "$@"
|
