pagina download files

[jrm]

ok ho cambiato il codice in :

$nome_file=stripslashes($_GET['nome_file']); 
$dimensioni_file=stripslashes($_GET['dimensioni_file']); 
$dir=stripslashes($_GET['dir']); 
header("Pragma: public"); 
header("Expires: 0"); 
header("Cache-Control: must-revalidate, post-check=0, pre-check=0"); 
header("Cache-Control: public"); 
header("Content-Type: application/html"); 
header("Content-Description: File Transfer"); 
header("Content-type: Application/octet-stream"); 
header("Content-Disposition: attachment; filename=$nome_file"); 
header("Content-Description: Download PHP"); 
header("Content-Length: $dimensioni_file"); 
readfile($dir); 

adesso il file che scarica è giusto
ultimo problema il file scaricato è di 0 Kb....