summaryrefslogtreecommitdiff
path: root/java/jboss5/pkg-deinstall
diff options
context:
space:
mode:
authorErnst de Haan <znerd@FreeBSD.org>2002-04-26 21:54:15 +0000
committerErnst de Haan <znerd@FreeBSD.org>2002-04-26 21:54:15 +0000
commit4fe0ef03ca8435bdf151a81e8bc02fc23b3267d2 (patch)
tree516dcfc821efb68530583f732e2f098b1c19e62c /java/jboss5/pkg-deinstall
parentFix a problem were date stamps were offset by one hour when DST was in effect. (diff)
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
Notes
Notes: svn path=/head/; revision=58192
Diffstat (limited to 'java/jboss5/pkg-deinstall')
-rw-r--r--java/jboss5/pkg-deinstall45
1 files changed, 45 insertions, 0 deletions
diff --git a/java/jboss5/pkg-deinstall b/java/jboss5/pkg-deinstall
new file mode 100644
index 000000000000..d4ae3619cc01
--- /dev/null
+++ b/java/jboss5/pkg-deinstall
@@ -0,0 +1,45 @@
+#!/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