Details
-
Type:
Improvement
-
Status:
Resolved
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: 1.1-rc-1
Description
I'm seeing this on windows when the indexer is on.
It manifests as java.io.IOException: Unable to delete file/directory, and then a subsequent clean will succeed.
We could cater for this by noting that a particular operation failed, and then retrying it again at the end or after some time.