Come da titolo,vorrei sapere chi scarica un file.
Dopo aver cercato nei vari post ho trovato questo:
<?
//Questa è la mia pagina dowload_page.php
//in $_GET['f'] verrà passato l'url assoluto del file
$completo = $_SERVER['DOCUMENT_ROOT'].$_GET[f];
$dimensione = filesize($completo);

if (eregi("mac",$_SERVER['HTTP_USER_AGENT']))
$type = "application/download";
else
$type = "application/octet-stream";

header("Content-Type: {$type}");
header("Content-Disposition: attachment; filename={$_GET[f]}");
header("Content-Length: {$dimensione}");
header("Content-Transfer-Encoding: binary");

readfile($completo);

?>

Io ho un elenco di file,estrapolato dinamicamente dal db,e dato ke nn funziona vi kiedo se potete aiutarmi a capire dove sbaglio

')"><?php echo $array_file['file']; ?>

Ringrazio anticipatamente...
ciao