Stefan, I agree with Antoine, dropping seems the simplest.
On 4 March 2014 14:57, Antoine Levy Lambert <[email protected]> wrote: > Hello Stefan, > > just dropping them works for me. > > Antoine > On Mar 3, 2014, at 8:39 AM, Stefan Bodewig <[email protected]> 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: [email protected] >> For additional commands, e-mail: [email protected] >> > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
