#!/usr/bin/env bash
# author HQL
#date 2013-05-14
# /root/sciprt
cd /root/script
#delet indexl.html
rm -f index.html
#get index.html every minuts
wget -t 10 -t 3 -q http://localhost/pgm/index.html
# if index.html does not exist
if [ ! -e index.html ]; then
#set java environment variable
export JAVA_HOME=/usr/java/jdk1.6.0_21
export CLASSPATH=.:$JAVA_HOME/lib/tools.jar
export CATALINA_HOME=/usr/local/pgmTomcat
export PATH=$JAVA_HOME/bin:$PATH
echo `date` --- "pgm tomcat service down..."
#search tomcat process ID
tomcat_id=`ps -ef |grep java |grep -w '/usr/local/pgmTomcat'|grep -v 'grep'|awk '{print $2}'`
if [ -z "$tomcat_id" ];then
rm -rf /usr/local/pgmTomcat/work
else
kill -9 $tomcat_id
sleep 5
echo `date` "kill tomcat process ----" $tomcat_id
rm -rf /usr/local/pgmTomcat/work
fi
#startup service
${CATALINA_HOME}/bin/startup.sh
echo `date` --- "pgm tomcat service is starting"
sleep 120
else
echo `date` -------- "pgm tomcat service is running"
fi 迅龙提供