Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- if [ "x$JBOSS_CLASSPATH" = "x" ]; then
- JBOSS_CLASSPATH="$JBOSS_BOOT_CLASSPATH"
- else
- JBOSS_CLASSPATH="$JBOSS_CLASSPATH:$JBOSS_BOOT_CLASSPATH"
- fi
- if [ "x$JAVAC_JAR_FILE" != "x" ]; then
- JBOSS_CLASSPATH="$JBOSS_CLASSPATH:$JAVAC_JAR_FILE"
- fi
- @@# OpenSSO Agent CLASSPATH addition
- @@index=1
- @@for i in $* ; do
- @@ if [ "$i" == "-c" ]; then break; fi
- @@ let index++
- @@done
- @@let index++
- @@CONFIG=${!index:-"default"}
- @@if [ -r "$DIRNAME/setAgentClasspath$CONFIG.sh" ]; then
- @@ . "$DIRNAME/setAgentClasspath$CONFIG.sh"
- @@fi
- # If -server not set in JAVA_OPTS, set it, if supported
- SERVER_SET=`echo $JAVA_OPTS | $GREP "\-server"`
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement