2 # -----------------------------------------------------
3 # Run with -help for usage.
4 # If $JAVA_HOME is set, editing this script should not be required.
5 # Send any questions to fchoong@user.sourceforge.net
6 # -----------------------------------------------------
8 # the value set here will override the value passed by $JAVA_HOME or the -jdkhome switch
19 while [ -h "$PRG" ]; do
21 link
=`expr "$ls" : '^.*-> \(.*\)$' 2>/dev/null`
22 if expr "$link" : '^/' 2> /dev
/null
>/dev
/null
; then
25 PRG
="`dirname $PRG`/$link"
29 progdir
=`dirname $PRG`
30 progname
=`basename $0`
32 # ../ will lead us to the home
37 dbhome
=`cd ${dbhome}; pwd`
40 # bring in needed functions
42 .
${dbhome}/lib
/functions
44 #--------------------------------------------------------------------------------------------------------------
51 exec "$jdkhome/bin/java" $thread_flag -classpath "$cp" $jargs "org.hsqldb.Server" "$@"