mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
4fe0ef03ca
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
46 lines
1.1 KiB
Bash
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/jboss2/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
|