使用变量设置标头

Question

我是php的初学者，我在使用php变量设置标题方面遇到了麻烦。我使用mysql数据库来存储文件的文件名，路径，类型和大小，然后我将文件存储在一个文件夹中。然后我将它存储在php变量中。它下载文件但我无法打开文件。它也没有正确读取大小。我试图寻找解决方案，但它让我无处可去。以下是下载文件的代码：

<?php
$db = mysqli_connect("localhost", "root", "", "rems");
    if (!$db) {
    die("Connection failed: " . mysqli_connect_error());
    }
    $query3 = "SELECT * FROM contract";         
    $result3 = (mysqli_query($db, $query3));
    if ($result3) {
        while ($obj = mysqli_fetch_object($result3)) {
            $name = $obj->File_Name;
            $path = $obj->File_Path;
            $type = $obj->File_Type;
            $size = $obj->File_Size;

            header('Content-Type: '.$type);
            header('Content-Length: '.$size);
            header('Content-Disposition: attachment; filename="'.basename($path).'"');
            readfile($path);
        }
        mysqli_free_result($result3);
    }

＆GT;