Method DownloadFile

src/pkgDm/Dm2Java.java:1836–1838

从internet上下载一个文件. @param url 下载的url地址. @param save_file 要保存的文件名. @param timeout 连接超时时间，单位是毫秒. @return 1 : 成功 -1 : 网络连接失败 -2 : 写入文件失败

(String url,String save_file,int timeout)

	* -2 : 写入文件失败<br/>
    */
   public int DownloadFile(String url,String save_file,int timeout){
	   return Dispatch.call(dm,"DownloadFile",url,save_file,timeout).getInt();
   }
   
   /**
    * 获取指定的文件长度.