Problema al forzar descarga

[Pepegalta]

Tengo un problema al forzar la descarga de un archivo y es que me lo descarga pero con el nombre del archivo php.

Aqui os dejo el codigo para ver si me podeis hechar una mano. Gracias de toas formas. ;)

Código:

<?
$file = htmlentities($_POST[campo1]); //nombre del archivo a descargar
$url = $so_mp3; //aqui coloca la ruta donde se encuentra el archivo
header ("Content-Disposition: attachment; filename=".$file." ");
header ("Content-Type: application/octet-stream");
header ("Content-Length: ".filesize($url));
readfile($url);
?>

[GatorV]

En esta linea:

Código PHP:

  header ("Content-Disposition: attachment; filename=".$file." ");  
   

Tu le indicas el nombre del archivo a descargar.

Saludos.

[Pepegalta]

Muchas gracias por la respuesta. el problema que tenia es que no ponia la extension del archivo en el nombre y entonces se bajaba con el nombre del php.