如何使用php将字符串下载到浏览器？不是文本文件

我的问题是我有一个从数据库查询,时间戳和其他随机事物生成的字符串,并且总是不同,所以我没有要下载的“文件”.如何在生成器的浏览器中将此生成的字符串作为.txt文件下载？我知道您可以使用标题将文件下载到浏览器,所以可能是这样的：

$result = 'Generated string that is different every time. 20121107160322';

header("Content-Type: text/plain");
header("Content-disposition: attachment; content=$result");
header("Content-Length: " . strlen($result));

显然这不起作用,但我甚至不知道从哪里开始.

解决方法:

你几乎得到它,你只是缺乏实际输出字符串到浏览器,并给它一个浏览器可以用来提示用户的文件名,所以这样做：

$result = 'Generated string that is different every time. 20121107160322';
$filename = 'result_file.txt';

header("Content-Type: text/plain");
header('Content-disposition: attachment; filename="'.$filename.'"');
header("Content-Length: " . strlen($result));
echo $result;
exit;