I have no problems with <get>. But I can�t see anything on that URL.
Maybe you can check the MD5 value.


Jan


> -----Original Message-----
> From: [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED]
> Sent: Thursday, November 20, 2003 3:18 PM
> To: ant_user group
> Subject: Question about the ant "get" task
> 
> 
> Duy,
>    Does any body has experience with ant "get" task?
>    I try to download a ZIP or JAR file from a remote server 
> through HTTP
> protocol, but the file that I got can not be unzipped with 
> the ant "unzip"
> task either other ZIP tools. Any body know what is wrong with it?
>    Even I try the example listed in the user manual, as following,
> //////////////////////////////////////////////////////////////
> ///////////
>     <get src="http://jakarta.apache.org/builds/tomcat/nightly/ant.zip";
>     dest="optional.jar"
>     verbose="true"
>     usetimestamp="true"/>
> //////////////////////////////////////////////////////////////
> //////////
>    Could any body please give me some idea about this?
>    Regards.
> 
>    Andrew
> 
> 
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: [EMAIL PROTECTED]
> For additional commands, e-mail: [EMAIL PROTECTED]
> 

Reply via email to