ant-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
Subject Re: Unable to delete directory
Date Mon, 14 Jul 2003 17:12:56 GMT


> Can you apply the patch locally and see if
> it fixes the problem you found.

Done.  With the patch applied, my ant script ran successfully with no
errors reported by the delete task.

I'm not sure if 10ms is enough sleep for the general case, but it seems to
have solved my problem.  It might be necessary to provide some means to
configure the sleep value, but it works on my system as proposed.


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message