|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
Seems that java.io.File.listFiles() returns some children on which File.delete does not work. Probably means that some files use bytes in their names which the current mounted filesystem’s name encoding cannot handle. Anyone know how to reproduce this from scratch? It is possible that for Java 7+ java.nio.file.Files.walkFileTree would do a better job of handling these corner cases.