head	1.2;
access;
symbols;
locks; strict;
comment	@# @;


1.2
date	2003.11.20.21.25.09;	author glewis;	state dead;
branches;
next	1.1;

1.1
date	2003.10.01.11.20.42;	author znerd;	state Exp;
branches;
next	;


desc
@@


1.2
log
@. 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)
@
text
@#!/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.
#

# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then

    # Kill the process if it is still running
    PID_FILE=/var/run/resin.pid
    if [ -s ${PID_FILE} ]; then
        PID=`cat ${PID_FILE}`
        echo -n ">> Killing Resin process (${PID})..."
        /bin/kill ${PID} > /dev/null 2> /dev/null
        if [ $? -eq 0 ]; then
            echo " [ DONE ]"
        else
            echo " [ FAILED ]"
        fi
        echo -n ">> Removing PID file (${PID_FILE})..."
        rm ${PID_FILE} > /dev/null 2> /dev/null
        if [ $? -eq 0 ]; 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 "www" 2>/dev/null 1>&2; then
        echo "To delete the www user permanently, use 'pw userdel www'"
    fi
fi

exit 0
@


1.1
log
@New port: Resin 2.

Submitted by:	Jean-Baptiste Quenot <jb.quenot@@caraldi.com>
@
text
@@

