diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/jakarta-tomcat/pkg-deinstall | 8 | ||||
| -rw-r--r-- | www/jakarta-tomcat3/pkg-deinstall | 8 | ||||
| -rw-r--r-- | www/jakarta-tomcat4/pkg-deinstall | 8 | ||||
| -rw-r--r-- | www/jakarta-tomcat41/pkg-deinstall | 8 | ||||
| -rw-r--r-- | www/tomcat41/pkg-deinstall | 8 |
5 files changed, 40 insertions, 0 deletions
diff --git a/www/jakarta-tomcat/pkg-deinstall b/www/jakarta-tomcat/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/jakarta-tomcat/pkg-deinstall @@ -0,0 +1,8 @@ +#!/bin/sh +PID_FILE=/var/run/jakarta-tomcat.pid +if [ -e ${PID_FILE} ]; then + echo -n "Jakarta Tomcat is still running." + /bin/kill `cat ${PID_FILE}` + rm -f ${PID_FILE} + echo " Stopped." +fi diff --git a/www/jakarta-tomcat3/pkg-deinstall b/www/jakarta-tomcat3/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/jakarta-tomcat3/pkg-deinstall @@ -0,0 +1,8 @@ +#!/bin/sh +PID_FILE=/var/run/jakarta-tomcat.pid +if [ -e ${PID_FILE} ]; then + echo -n "Jakarta Tomcat is still running." + /bin/kill `cat ${PID_FILE}` + rm -f ${PID_FILE} + echo " Stopped." +fi diff --git a/www/jakarta-tomcat4/pkg-deinstall b/www/jakarta-tomcat4/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/jakarta-tomcat4/pkg-deinstall @@ -0,0 +1,8 @@ +#!/bin/sh +PID_FILE=/var/run/jakarta-tomcat.pid +if [ -e ${PID_FILE} ]; then + echo -n "Jakarta Tomcat is still running." + /bin/kill `cat ${PID_FILE}` + rm -f ${PID_FILE} + echo " Stopped." +fi diff --git a/www/jakarta-tomcat41/pkg-deinstall b/www/jakarta-tomcat41/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/jakarta-tomcat41/pkg-deinstall @@ -0,0 +1,8 @@ +#!/bin/sh +PID_FILE=/var/run/jakarta-tomcat.pid +if [ -e ${PID_FILE} ]; then + echo -n "Jakarta Tomcat is still running." + /bin/kill `cat ${PID_FILE}` + rm -f ${PID_FILE} + echo " Stopped." +fi diff --git a/www/tomcat41/pkg-deinstall b/www/tomcat41/pkg-deinstall new file mode 100644 index 000000000000..3a3071532612 --- /dev/null +++ b/www/tomcat41/pkg-deinstall @@ -0,0 +1,8 @@ +#!/bin/sh +PID_FILE=/var/run/jakarta-tomcat.pid +if [ -e ${PID_FILE} ]; then + echo -n "Jakarta Tomcat is still running." + /bin/kill `cat ${PID_FILE}` + rm -f ${PID_FILE} + echo " Stopped." +fi |