diff options
author | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-21 20:06:55 +0000 |
---|---|---|
committer | Ernst de Haan <znerd@FreeBSD.org> | 2002-02-21 20:06:55 +0000 |
commit | 229c3f67eb790778528dbaa47c2f22b4f7cb0585 (patch) | |
tree | e7b7447f668727aa9722a4eb4a3dae10dee8165c /www/jakarta-tomcat4/pkg-deinstall | |
parent | e7c1eb40008c882af13f9df66a99406d3f14b8eb (diff) |
Notes
Diffstat (limited to 'www/jakarta-tomcat4/pkg-deinstall')
-rw-r--r-- | www/jakarta-tomcat4/pkg-deinstall | 25 |
1 files changed, 19 insertions, 6 deletions
diff --git a/www/jakarta-tomcat4/pkg-deinstall b/www/jakarta-tomcat4/pkg-deinstall index 3a3071532612..3a131360f1a5 100644 --- a/www/jakarta-tomcat4/pkg-deinstall +++ b/www/jakarta-tomcat4/pkg-deinstall @@ -1,8 +1,21 @@ #!/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." +# +# This script does the following. +# +# Checks if the 'www' user exists. If it does, then it displays +# a message. +# +# $FreeBSD$ +# + +# Make sure we're called during the 'make deinstall' process +if [ "$2" != "POST-DEINSTALL" ]; then + exit 0 fi + +# If the user exists, then display a message +if pw usershow "www" 2>/dev/null 1>&2; then + echo "To delete the www user permanently, use 'pw userdel www'" +fi + +exit 0 |