On Mon, May 21, 2001 at 09:49:19PM +0200, The Unicorn wrote: > Delete ports/www/jakarta-tomcat/files > Updater failed: Cannot delete "/usr/ports/www/jakarta-tomcat/files": Directory not >empty As posted before: rm -rf /usr/ports/www/jakarta-tomcat re-cvsup -- wca To Unsubscribe: send mail to [EMAIL PROTECTED] with "unsubscribe freebsd-current" in the body of the message