Stefan, I agree with Antoine, dropping seems the simplest.
On 4 March 2014 14:57, Antoine Levy Lambert <anto...@gmx.de> wrote: > Hello Stefan, > > just dropping them works for me. > > Antoine > On Mar 3, 2014, at 8:39 AM, Stefan Bodewig <bode...@apache.org> wrote: > >> Hi all, >> >> I've been looking into Bugzilla 56149. There is a named pipe scanned by >> DirectoryScanner and DS seems to treat it like a directory. >> >> The reporter of the bug confirmed File.isFile and File.isDirectory both >> return false for the named pipe so this is something we can detect and >> something DirectoryScanner doesn't expext. isFile is expected to be the >> opposite of isDirectory in a few places. >> >> I think it would be easy to add guards to only treat files as files and >> dirs as dirs, the question is what to do with File objects that are >> neither. Drop them? Treat them as files? Add another user-controlled >> option? >> >> They seem to be rare creatures and in the context of issue 56149 "just >> drop them" would probably be the sanest choice. >> >> Stefan >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org >> For additional commands, e-mail: dev-h...@ant.apache.org >> > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org > For additional commands, e-mail: dev-h...@ant.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
