|
Lines 15-21
Link Here
|
| 15 |
if [ "$2" = "DEINSTALL" ]; then |
15 |
if [ "$2" = "DEINSTALL" ]; then |
| 16 |
|
16 |
|
| 17 |
# Kill the process if it is still running |
17 |
# Kill the process if it is still running |
| 18 |
PID_FILE=/var/run/tomcat4.pid |
18 |
PID_FILE=/var/run/tomcat50.pid |
| 19 |
if [ -s ${PID_FILE} ]; then |
19 |
if [ -s ${PID_FILE} ]; then |
| 20 |
PID=`cat ${PID_FILE}` |
20 |
PID=`cat ${PID_FILE}` |
| 21 |
echo -n ">> Killing Jakarta Tomcat process (${PID})..." |
21 |
echo -n ">> Killing Jakarta Tomcat process (${PID})..." |