diff options
| author | Xin LI <delphij@FreeBSD.org> | 2007-03-28 05:47:17 +0000 |
|---|---|---|
| committer | Xin LI <delphij@FreeBSD.org> | 2007-03-28 05:47:17 +0000 |
| commit | 789e9ecac7b7596a03747ebd13fad0e5e8fc4cf5 (patch) | |
| tree | f4d90cbcf844b3e9447453b2f221bb5c192ea4a6 /java/jboss5/pkg-deinstall | |
| parent | d742ec2036de50307baa2e387073d69c183c9c92 (diff) | |
Notes
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 |