php - 试图生成一个 php 下载链接。文件名不会设置

Question

你好，我正在尝试为我的程序生成一个由 php 驱动的下载链接，我复制并粘贴了一些我以前使用过的旧代码，除了 2 个问题外，它似乎仍然可以正常工作。

问题 1:无论怎样，它总是将文件下载为 link.php 而不是文件名

问题 2:文件大小没有发送到浏览器(不是很关心这个)

主要是我需要知道我在设置文件名时做错了什么，下面是我的代码:

$file = $_GET['file'].'.exe';
if ($_GET['DL'] == "GO") {
header('Pragma: public');
header('Expires: 0');
header('Cache-Control: must-revalidate, post-check=0, pre-check=0');
header('Cache-Control: private', false); // required for certain browsers 
header('Content-Type: application/octet-stream');
header('Content-Disposition: attachment; filename="'. basename('MIRROR/'.$file) . '";');
header('Content-Transfer-Encoding: binary');
header('Content-Length: ' . filesize('MIRROR/'.$file));
ob_clean();
flush();
readfile('MIRROR/'.$file);
die();
}

Answer 1

尝试去掉尾随的;:

header('Content-Disposition: [..snip...] . basename($file) . '";');
                                                               ^--- here