Codice PHP:
<?
$extensions = array(".pdf", ".doc", ".mpeg");
$counterdir = "counter/";
$textfont = "Verdana,Arial";
for($i=0;$i<count($extensions);$i++)
{
$extension = $extensions[$i];
if (file_exists("$get$extension"))
{
$count = 0;
header("Content-Disposition: attachment; filename=$get$extension");
readfile("$get$extension");
$file = fopen("$counterdir/$get.txt","r");
$count = fread($file, 100);
$countplus = ($count + 1);
fclose($file);
$fileb = fopen("$counterdir/$get.txt","w");
fwrite($fileb, $countplus, 100);
fclose($fileb);
$logstr = $get;
$logstr = $logstr . "\t" . date("d/m/Y");
$logstr = $logstr . "\t" . date("H:i:s");
$logstr = $logstr . "\t" . $REMOTE_ADDR;
$logstr = $logstr . "\t" . gethostbyaddr($REMOTE_ADDR) . "\n";
$fileb = fopen("$counterdir/log.txt","a");
fwrite($fileb, $logstr, 100);
fclose($fileb);
}
else
{
echo "<font face=$textfont size=2>";
echo "<center>
Questo file [[b]$get$extension[/b]] non può essere scaricato.";
}
}
?>
Forse cosi funziona...l'unico bug è che se ci sono più di un file con stesso nome ma estensione diversa, non so cosa possa succedere (forse partono più download).