diff options
| author | cvs2svn <cvs2svn@FreeBSD.org> | 2004-10-29 09:06:05 +0000 |
|---|---|---|
| committer | cvs2svn <cvs2svn@FreeBSD.org> | 2004-10-29 09:06:05 +0000 |
| commit | 3add449a170be706377b66bee46af25633bc945c (patch) | |
| tree | 7415df14a37624ff0b24fd40bde079927a88c28a /java/jboss4/pkg-deinstall | |
| parent | 975af646f278430e563b72219a2c3055b211eb1a (diff) | |
Diffstat (limited to 'java/jboss4/pkg-deinstall')
| -rw-r--r-- | java/jboss4/pkg-deinstall | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/java/jboss4/pkg-deinstall b/java/jboss4/pkg-deinstall deleted file mode 100644 index 26bcfc578eac..000000000000 --- a/java/jboss4/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/jboss4/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 |