Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- $ grep -i java_home /etc/init.d/tomcat7
- # The first existing directory is used for JAVA_HOME (if JAVA_HOME is not
- if [ -r "$jdir/bin/java" -a -z "${JAVA_HOME}" ]; then
- JAVA_HOME="$jdir"
- export JAVA_HOME
- if [ -z "${JSSE_HOME}" -a -r "${JAVA_HOME}/jre/lib/jsse.jar" ]; then
- JSSE_HOME="${JAVA_HOME}/jre/"
- TOMCAT_SH="set -a; JAVA_HOME=\"$JAVA_HOME\"; source \"$DEFAULT\"; \
- if [ -z "$JAVA_HOME" ]; then
- log_failure_msg "no JDK or JRE found - please set JAVA_HOME"
- --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
- --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
- --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
- --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
Advertisement
Add Comment
Please, Sign In to add comment