PHP readfile（）下载错误的文件

Question

我的目标是让html表单提交一些文本，然后php在服务器上创建/更新文件，然后将新文件下载给用户。一切正常，除了下载包含页面的html代码的文件而不是更新的文件。

我想在指定路径而不是在运行代码的页面上下载文件。

if(isset($_POST["download"])){
    $file_name = session_to_file(); //update the file and return its name
    $file_url = $url."/docs/".$file_name.".txt"; //the full url to the file starting with http

    header("Cache-Control: public");
    header("Content-Description: File Transfer");

    header("Content-Disposition: attachment; 
    filename='".basename($file_name).".txt'"); //name of the downloaded file

    header("Content-Type: application/zip");
    header("Content-Transfer-Encoding: binary");

    readfile($file_url); //download the file from the server
}

理想情况下，我需要一个php或js函数，例如download_file（“ path / filename”）;但是从其他SO帖子看来，它似乎更加复杂，我尝试了他们的示例，但总是下载错误的内容。