ant-notifications mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
Subject DO NOT REPLY [Bug 52058] delete feed by resourcelist does not delete not empty directories
Date Fri, 28 Oct 2011 15:05:37 GMT

Stefan Bodewig <> changed:

           What    |Removed                     |Added
         OS/Version|                            |All

--- Comment #1 from Stefan Bodewig <> 2011-10-28 15:05:37 UTC ---
from <delete>'s manual

> no attempt will be made to delete non-empty directories in any case

and a bit later it talks about the one case that is different from historic

So not deleting the non-empty dirs is not a bug but rather the intended

Configure bugmail:
------- You are receiving this mail because: -------
You are the assignee for the bug.

View raw message