#!/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:="c:\Programme\Java\jdk1.5.0_04\jre"}

: ${JACORB_HOME:="C:\JacORB-2.2.4"}
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=C:\JacORB-2.2.4 \
    -Dorg.omg.CORBA.ORBClass=org.jacorb.orb.ORB \
    -Dorg.omg.CORBA.ORBSingletonClass=org.jacorb.orb.ORBSingleton \
    "$@"

