#!/bin/sh

# I would prefer it this way, but there does not seem to be a way to
# find out the HOME of the JDK ...
# : ${JAVA_HOME:="@@@JAVA_HOME@@@"}
# ... If there is no JDK, simply set the following ...
# : ${JRE_HOME:="$JAVA_HOME/jre"}

# ... but we have to refer to the JRE only!
: ${JRE_HOME:="/usr/java/jdk1.6.0_14/jre"}

: ${JACORB_HOME:="/diska/alma/ACS-8.2/JacORB"}
export JACORB_HOME

: ${JVM_FLAGS:=""}

# call java interpreter
exec ${JRE_HOME}/bin/java ${JVM_FLAGS} \
    -Xbootclasspath/p:${JACORB_HOME}/lib/jacorb.jar:${JACORB_HOME}/lib/logkit-1.2.jar:${JACORB_HOME}/lib/avalon-framework-4.1.5.jar:${JRE_HOME}/lib/rt.jar:${CLASSPATH} \
    -Djacorb.home=/diska/alma/ACS-8.2/JacORB \
    -Dorg.omg.CORBA.ORBClass=org.jacorb.orb.ORB \
    -Dorg.omg.CORBA.ORBSingletonClass=org.jacorb.orb.ORBSingleton \
    "$@"

