Correcting some problems in the control script

and adding a pkg-deinstall and another patch.

Submitted by:	maintainer
This commit is contained in:
Ernst de Haan 2002-03-30 11:48:54 +00:00
parent 9c9ff89b5f
commit 7f019c034b
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=56941
3 changed files with 38 additions and 46 deletions

View file

@ -132,49 +132,4 @@ server_start() {
echo ""
exit 64
;;
esacEND-of-dbXML/files/dbxmlctl
echo x - dbXML/files/patch-ad
sed 's/^X//' >dbXML/files/patch-ad << 'END-of-dbXML/files/patch-ad'
--- bin/dbxml.orig Mon Sep 24 21:50:14 2001
+++ bin/dbxml Mon Oct 22 02:08:32 2001
@@ -1,8 +1,12 @@
#!/bin/sh
-if test -z $DBXML_HOME; then
- echo "\$DBXML_HOME Is Not Set"
+DBXML_HOME=%%PREFIX%%/share/java/dbXML
+
+if test -z $JAVA_HOME; then
+ echo "Warning: JAVA_HOME environment variable is not set."
exit
+else
+ PATH=$JAVA_HOME/bin:$PATH
fi
CMD_HOME=`dirname $0`
END-of-dbXML/files/patch-ad
echo x - dbXML/pkg-deinstall
sed 's/^X//' >dbXML/pkg-deinstall << 'END-of-dbXML/pkg-deinstall'
#!/bin/sh
# $FreeBSD: /tmp/pcvs/ports/databases/dbXML/files/Attic/dbxmlctl,v 1.1 2002-03-05 00:43:18 znerd Exp $
#
if [ "$2" != "POST-DEINSTALL" ]; then
exit 0
fi
USER=dbxml
if pw usershow "${USER}" 2>/dev/null 1>&2; then
if pw userdel ${USER}; then
echo "Delete user/group \"${USER}\"."
else
echo "Deleting user/group \"${USER}\" failed..."
exit 1
fi
fi
exit 0
END-of-dbXML/pkg-deinstall
exit
esac

View file

@ -0,0 +1,17 @@
--- bin/dbxml.orig Mon Sep 24 21:50:14 2001
+++ bin/dbxml Mon Oct 22 02:08:32 2001
@@ -1,8 +1,12 @@
#!/bin/sh
-if test -z $DBXML_HOME; then
- echo "\$DBXML_HOME Is Not Set"
+DBXML_HOME=%%PREFIX%%/share/java/dbXML
+
+if test -z $JAVA_HOME; then
+ echo "Warning: JAVA_HOME environment variable is not set."
exit
+else
+ PATH=$JAVA_HOME/bin:$PATH
fi
CMD_HOME=`dirname $0`

View file

@ -0,0 +1,20 @@
#!/bin/sh
# $FreeBSD: /tmp/pcvs/ports/databases/dbXML/pkg-deinstall,v 1.1 2002-03-30 11:48:53 znerd Exp $
#
if [ "$2" != "POST-DEINSTALL" ]; then
exit 0
fi
USER=dbxml
if pw usershow "${USER}" 2>/dev/null 1>&2; then
if pw userdel ${USER}; then
echo "Delete user/group \"${USER}\"."
else
echo "Deleting user/group \"${USER}\" failed..."
exit 1
fi
fi
exit 0