1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/java/jboss5/pkg-deinstall
Ernst de Haan 4fe0ef03ca New port jboss2.
The jboss2ctl program does not work at this stage. I chose
to commit this port anyway because it has been lying around
for too long. Once it is in the ports tree, the improved
interest may trigger somebody else to fix the problem.

JBoss can be started using the supplied shell script anyway,
so it is still useful.

This is not the JBoss port submitted by Jesse Gallup in PR
35853, but one based on the www/orion port.

PR:	35853
2002-04-26 21:54:15 +00:00

46 lines
1.1 KiB
Bash

#!/bin/sh
#
# This script does the following.
#
# * Checks if the JBoss PID file exists. If it does, it kills the
# JBoss process and removes the PID file.
#
# * Checks if the 'www' user exists. If it does, then it displays
# a message.
#
# $FreeBSD: /tmp/pcvs/ports/java/jboss5/Attic/pkg-deinstall,v 1.1 2002-04-26 21:54:15 znerd Exp $
#
# Make sure we're in the right stage of the process
if [ "$2" = "DEINSTALL" ]; then
# Kill JBoss if it is still running
PID_FILE=/var/run/jboss.pid
if [ -s ${PID_FILE} ]; then
PID=`cat ${PID_FILE}`
echo -n ">> Killing JBoss Server 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