freebsd-ports/www/resin3/files/pkg-deinstall
Greg Lewis 81c8db1a2b . Avoid conflict between resin2 and resin3
. Fix resin{2,3}ctl first line (perl path)
. Pid file is no more created in the Makefile
. New resin.sh startup script, manages pid file
. pkg-[de]install and pkg-message are now generated
. Do not write anything after including bsd.port.post.mk
. Packages are now supported (reported by Arcadius Ahouansou)
. Integration with apxs for [de]activating mod_caucho

PR:		57566
Submitted by:	Jean-Baptiste Quenot <jbq@caraldi.com> (maintainer)
2003-11-20 21:44:14 +00:00

52 lines
1.3 KiB
Bash

#!/bin/sh
#
# This script does the following.
#
# * Checks if the PID file exists. If it does, it kills the
# process and removes the PID file.
#
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
# $FreeBSD: /tmp/pcvs/ports/www/resin3/files/Attic/pkg-deinstall,v 1.1 2003-11-20 21:44:14 glewis Exp $
#
# Borrowed from the jakarta-tomcat port
#
set -e
PID_FILE=%%PID_FILE%%
RUNASUSER=%%RUNASUSER%%
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill the process if it is still running
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing %%APP_NAME%% process (${PID})..."
if /bin/kill ${PID} > /dev/null 2> /dev/null ; then
echo " [ DONE ]"
else
echo " [ FAILED ]"
fi
echo -n ">> Removing PID file (${PID_FILE})..."
if rm ${PID_FILE} > /dev/null 2> /dev/null ; then
echo " [ DONE ]"
else
echo " [ FAILED ]"
fi
fi
fi
if [ "$2" = "POST-DEINSTALL" ]; then
# If the user exists, then display a message
if pw usershow "$RUNASUSER" 2>/dev/null 1>&2; then
echo "To delete the $RUNASUSER user permanently, use 'pw userdel $RUNASUSER'"
fi
fi
exit 0