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