costin      2003/03/20 15:30:46

  Modified:    catalina/src/bin catalina.sh
  Log:
  Port from 3.3 - if -force option is used and a pid file was set, use it to
  kill tomcat. This allows getting rid of hunged instances.
  
  Revision  Changes    Path
  1.6       +10 -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.5
  retrieving revision 1.6
  diff -u -r1.5 -r1.6
  --- catalina.sh       6 Mar 2003 11:24:05 -0000       1.5
  +++ catalina.sh       20 Mar 2003 23:30:45 -0000      1.6
  @@ -231,6 +231,15 @@
       -Djava.io.tmpdir="$CATALINA_TMPDIR" \
       org.apache.catalina.startup.Bootstrap "$@" stop
   
  +  if [ "$1" = "-force" ] ; then
  +    shift
  +    if [ ! -z "$CATALINA_PID" ]; then
  +       echo "Killing: `cat $CATALINA_PID`"
  +       kill -9 `cat $CATALINA_PID`
  +    fi
  +  fi
  +
  +
   else
   
     echo "Usage: catalina.sh ( commands ... )"
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to