<?php
/*	For download of a file, particularly audio,
	COUNT the downloads
*/

  require('config-connect.php');
  error_reporting (E_ALL ^ E_NOTICE);   // allow undefined use without message

// open file

$filenameonly = realpath($_GET['file']);
$filename = "upload/$filenameonly";
$f = fopen($filename, 'r') or die ("I'm sorry, cannot open file $filename, probably because I don't have it.");
/* get mime-type for a specific file */
$finfo = new finfo(FILEINFO_MIME) // return mime type
		or die ("Opening fileinfo database failed");
$type = $finfo->file($filename)	or die ('Cannot determine file type');
// This says for an mp3: audio/mpeg; charset=binary


// should be good to go
pg_query_params ("update filelog set downloads = downloads+1 where filename=$1", array($filenameonly));
pg_close();
header ("Content-Type: $type" );	//declare content type
while ($b = fread($f, 4096))
   echo $b;			// sent the bytes off
fclose($f);
?>