diff options
Diffstat (limited to 'java/jboss5/pkg-deinstall')
| -rw-r--r-- | java/jboss5/pkg-deinstall | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/java/jboss5/pkg-deinstall b/java/jboss5/pkg-deinstall deleted file mode 100644 index 0521ad5fd496..000000000000 --- a/java/jboss5/pkg-deinstall +++ /dev/null @@ -1,35 +0,0 @@ -#!/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. -# -# $FreeBSD: /tmp/pcvs/ports/java/jboss5/Attic/pkg-deinstall,v 1.2 2003-07-14 10:03:13 des 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 - -exit 0 |