Download di file con spazi

[mind]

Download di file con spazi

Cia oa tutti!
Spero possiate aiutarmi a risolvere un problema che mi assilla da qulche giorno.

Ho creato in flash e PHP un interfaccia per gestire file in cartelle remote e, per il download uso un getUrl tipo questo:

var sFile:String = "Nome del file.txt";
var dimFile:Number = 1962;
getURL ("http://www.barkleis.it/FileDownload.php?file=" + sFile + "&dimensione=" + dimFile, "_self");

la richiesta al browser sarà quindi:

http://www.barkleis.it/FileDownload.php?file=Nome del file.txt&dimensione=1962

a livello server FileDownload.php è circa quello della vostra guida:

<?php

header("Content-type: Application/octet-stream");
header("Content-Disposition: attachment; filename=$file");
header("Content-Description: Download PHP");
header("Content-Length: $dimensione");
readfile("http://www.barkleis.it/$file");

?>

funziona bene tranne quando il nome del file contiene spazi (come appunto nell'esempio).

sapete perchè e come correggerlo?

[mind]

ho risolto con forceDownload ma non mi spiego ancora l'errore.