Devo fare il download di un file il mio codice è il seguente:
Codice PHP:
 $pippo=$_GET['nome_file'];
 header("Content-type: * ");
 header("Content-Disposition: attachment; filename=".$pippo);
 readfile($pippo);
 exit; 
Il problema è che il file desiderato viene scaricato senza l'estensione e con un nome diverso (precisamente quello della pagina che contiene il codice sopra indicato).
Il file scaricato però è quello giusto perchè se aggiungo a mano l'estensione e poi lo apro il contenuto è giusto!!!
Qualcuno sa darmi una mano? Cosa ho dimenticato?