lamiastella

$ grep -i java_home /etc/init.d/tomcat7

Sep 6th, 2016
331
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.69 KB | None | 0 0
  1. $ grep -i java_home /etc/init.d/tomcat7
  2. # The first existing directory is used for JAVA_HOME (if JAVA_HOME is not
  3. if [ -r "$jdir/bin/java" -a -z "${JAVA_HOME}" ]; then
  4. JAVA_HOME="$jdir"
  5. export JAVA_HOME
  6. if [ -z "${JSSE_HOME}" -a -r "${JAVA_HOME}/jre/lib/jsse.jar" ]; then
  7. JSSE_HOME="${JAVA_HOME}/jre/"
  8. TOMCAT_SH="set -a; JAVA_HOME=\"$JAVA_HOME\"; source \"$DEFAULT\"; \
  9. if [ -z "$JAVA_HOME" ]; then
  10. log_failure_msg "no JDK or JRE found - please set JAVA_HOME"
  11. --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
  12. --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
  13. --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
  14. --user $TOMCAT7_USER --exec "$JAVA_HOME/bin/java" \
Advertisement
Add Comment
Please, Sign In to add comment