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>