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] >
