1、在tomcat/bin/shutdown.sh文件中增加一个参数
在文件最后一行的命令添加一个force exec "$PRGDIR"/"$EXECUTABLE" stop -force "$@"
2、在tomcat/bin/catalina.sh脚中,加入下面这三行
if [ -z "$CATALINA_PID" ]; then
CATALINA_PID=$PRGDIR/CATALINA_PID
cat $CATALINA_PID
fi
3、在tomcat/bin/下面新建setenv.sh文件,文件内容如下:
#!/bin/bash
CATALINA_PID=$CATALINA_HOME/bin/CATALINA_PID
这个是为tomcat开发人员预留的扩展方式。