php - ファイルのダウンロード時に不明なファイル名が変更される

Question

スクリプトを使用して、サイトからファイルをダウンロードしています。

if (isset($_GET['file'])){
    $file = $_GET['file'];
    $query = "SELECT fileurl FROM dbname WHERE id='$file'";
    $result = mysql_query($query);
    $row = mysql_fetch_array($result);
    $filename = $row[fileurl];
    send_download($filename);
} 

function send_download($filename){
    $file_path = $filename;
    $file_size=@filesize($file_path);
    header("Content-Type: application/x-zip-compressed");
    header("Content-disposition: attachment; filename=$filename");
    header("Content-Length: $file_size");
    readfile($file_path);
    exit;
} 

それはうまく機能しますが、唯一の注意点は、ファイル名が暗号化された文字列に変更されることです。つまり、asdajkhasdkahdkasdakfsdhf.pdfです。可能であれば、ファイル名の間のスペースに + を追加します。つまり、My+File.pdf