ports/27748: Update port: java/orion (1.4.5_4 -> 1.4.5_5)

ports/27748: Update port: java/orion (1.4.5_4 -> 1.4.5_5)

Post by Cyrille Lefev » Thu, 31 May 2001 21:07:11



[snip]

> diff -ruN --exclude=CVS --exclude=work /usr/ports/java/orion/pkg-deinstall /home/ernst/freebsd-ports/java/orion/pkg-deinstall
> --- /usr/ports/java/orion/pkg-deinstall    Thu Jan  1 01:00:00 1970
> +++ /home/ernst/freebsd-ports/java/orion/pkg-deinstall     Mon May 28 11:22:20 2001

> +#!/bin/sh
> +PID_FILE=/var/run/orion.pid
> +if [ -e ${PID_FILE} ]; then
> +  echo -n "Orion is still running."
> +  /bin/kill `cat ${PID_FILE}`
> +  rm -f ${PID_FILE}
> +  echo " Stopped."
> +fi



pkg-deinstall script isn't needed since it could be done as a one
liner to the beginning of pkg-plist such as :

I just wanted this noted in gnats. the commiter will decide :P

Cyrille.
--



with "unsubscribe freebsd-java" in the body of the message