You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by hg...@apache.org on 2003/03/06 12:24:05 UTC

cvs commit: jakarta-tomcat-catalina/catalina/src/bin catalina.sh

hgomez      2003/03/06 03:24:05

  Modified:    catalina/src/bin catalina.sh
  Log:
  Add support to get catalina mai java process id in a file (from TC 4.1)
  
  Revision  Changes    Path
  1.5       +12 -1     jakarta-tomcat-catalina/catalina/src/bin/catalina.sh
  
  Index: catalina.sh
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-catalina/catalina/src/bin/catalina.sh,v
  retrieving revision 1.4
  retrieving revision 1.5
  diff -u -r1.4 -r1.5
  --- catalina.sh	14 Feb 2003 00:53:27 -0000	1.4
  +++ catalina.sh	6 Mar 2003 11:24:05 -0000	1.5
  @@ -32,6 +32,9 @@
   #                   (JSSE) installation, whose JAR files will be added to the
   #                   system class path used to start Tomcat.
   #
  +#   CATALINA_PID    (Optional) Path of the file which should contains the pid
  +#                   of catalina startup java process, when start (fork) is used
  +#
   # $Id$
   # -----------------------------------------------------------------------------
   
  @@ -200,6 +203,10 @@
         -Djava.io.tmpdir="$CATALINA_TMPDIR" \
         org.apache.catalina.startup.Bootstrap "$@" start \
         >> "$CATALINA_BASE"/logs/catalina.out 2>&1 &
  +
  +      if [ ! -z "$CATALINA_PID" ]; then
  +        echo $! > $CATALINA_PID
  +      fi      
     else
       "$_RUNJAVA" $JAVA_OPTS $CATALINA_OPTS \
         -Djava.endorsed.dirs="$JAVA_ENDORSED_DIRS" -classpath "$CLASSPATH" \
  @@ -208,6 +215,10 @@
         -Djava.io.tmpdir="$CATALINA_TMPDIR" \
         org.apache.catalina.startup.Bootstrap "$@" start \
         >> "$CATALINA_BASE"/logs/catalina.out 2>&1 &
  +
  +      if [ ! -z "$CATALINA_PID" ]; then
  +        echo $! > $CATALINA_PID
  +      fi      
     fi
   
   elif [ "$1" = "stop" ] ; then
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org