Date: Wed, 22 Dec 2004 04:20:28 GMT From: Herve Quiroz <herve.quiroz@esil.univ-mrs.fr> To: freebsd-java@FreeBSD.org Subject: Re: ports/75348: Tomcat port overwrites server.xml config file Message-ID: <200412220420.iBM4KSc8074574@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/75348; it has been noted by GNATS.
From: Herve Quiroz <herve.quiroz@esil.univ-mrs.fr>
To: freebsd-gnats-submit@freebsd.org, bati@nostromo.cz
Cc: Kang Liu <liukang@bjut.edu.cn>
Subject: Re: ports/75348: Tomcat port overwrites server.xml config file
Date: Wed, 22 Dec 2004 05:15:57 +0100
Same here. I can't reproduce the error:
$ cd /usr/ports/www/jakarta-tomcat5
$ make install
[...]
Installing local configuration file: /usr/local/jakarta-tomcat5.0/conf/server.xml
[...]
$ echo "whatever" >/usr/local/jakarta-tomcat5.0/conf/server.xml
$ make deinstall
[...]
If permanently deleting this package, /usr/local/jakarta-tomcat5.0/conf/server.xml must be removed manually
[...]
$ make reinstall
[...]
Preserving local configuration file: /usr/local/jakarta-tomcat5.0/conf/server.xml
[...]
$ cat /usr/local/jakarta-tomcat5.0/conf/server.xml
whatever
Kang, BTW, that's not really related but I think we should do something for
the garbage output while deinstalling the port:
[...]
If permanently deleting this package, /usr/local/jakarta-tomcat5.0/conf/server.xml must be removed manually
pkg_delete: unable to completely remove directory '/usr/local/jakarta-tomcat5.0/conf'
pkg_delete: unable to completely remove directory '/usr/local/jakarta-tomcat5.0'
pkg_delete: couldn't entirely delete package (perhaps the packing list is
incorrectly specified?)
[...]
A simple "@unexec rmdir jakarta-tomcat5.0/conf 2>/dev/null || true"
would probably be enough.
Herve
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200412220420.iBM4KSc8074574>