文件的连接的源代码是:<a onclick="downloadTxt(8462,1)" href="download_txt.php?id=462">下载TXT文件</a> 
本应该在浏览器中点击“下载TXT文件”就会下载存储文件:数据.txt ,而且存储的文件名字是"数据.txt"。现在我用httpclient做成下载,现在通过连接”download_txt.php?id=462“,可以下载“数据。txt”里面的内容。问题是,我想保留源文件的名字,应该如何取得?即我想得到待下载的文本文件名字“数据”,如何取得?ps:我查看了源码:没有找到 downloadTxt 的函数。原以为是在downloadTxt函数里面能发现点什么,可是没有。是别的什么形式?
谢谢