2017年06月30日 17:18:16 redlevin 阅读数:5311 标签: tomcatjavajava
原来的 exec "$PRGDIR"/"$EXECUTABLE" stop "$@" 增长参数后 exec "$PRGDIR"/"$EXECUTABLE" stop -force "$@"
if [ -z "$CATALINA_PID" ]; then CATALINA_PID=$PRGDIR/CATALINA_PID cat $CATALINA_PID fi