ant-user mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From peter reilly <peter.rei...@corvil.com>
Subject Re: Unable to delete directory
Date Mon, 14 Jul 2003 17:35:58 GMT
Excellent,

I have committed the patch.

I will leave open the possibility of
configuring the sleep time.

Peter

On Mon, 2003-07-14 at 18:12, Michael.Giroux@Bull.com wrote:
> Peter,
> 
> > 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.
> 
> Michael
> 
> 
> 
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: user-unsubscribe@ant.apache.org
> For additional commands, e-mail: user-help@ant.apache.org
> 
> 


---------------------------------------------------------------------
To unsubscribe, e-mail: user-unsubscribe@ant.apache.org
For additional commands, e-mail: user-help@ant.apache.org


Mime
View raw message