descarga de archivos

[luiscar]

Gracias, ya lo solucioné. He guardado en la base de datos el nombre y la extension del archivo:

<?
extract ($_GET);
$db = @mysql_connect(localhost,"","") or die("Can't connect to server.");
@mysql_select_db("pruebas", $db) or die("Can't select database.");
$get_apuntes = "SELECT apuntes,archivo,extension AS filetype FROM apuntes WHERE id_apuntes = $id_apuntes";
$comp=mysql_db_query("pruebas",$get_apuntes);
$row=mysql_fetch_array($comp);

$binary=$row["apuntes"];
$filetype=$row["filetype"];
$nombre=$row["archivo"];

header("Content-type: $filetype");
header("Content-Disposition: $filetype; filename=\"$nombre.$filetype\"");

print "$binary";
mysql_close()
?>

Gracias a todos.