if[!-z"$CATALINA_PID"]; thenif[-f"$CATALINA_PID"]; thenif[-s"$CATALINA_PID"]; thenkill-0`cat"$CATALINA_PID"`>/dev/null 2>&1if[$?-gt0]; thenecho"PID file found but no matching process was found. Stop aborted."exit1fielseecho"PID file is empty and has been ignored."fielseecho"\$CATALINA_PID was set but the specified file does not exist. Is Tomcat running? Stop aborted."exit1fifi

CATALINA_PID的说明内容
Catalina.sh 89行

1
2
3

# CATALINA_PID (Optional) Path of the file which should contains the pid# of the catalina startup java process, when start (fork) is# used