簡易ダウンロードカウンタ

<?php
 
/**
 * @name 簡易ダウンロードカウンタ
 * @author nic <webmaster@spais.jp>
 * @version 0.1
 * @since 2007/12/08
 */
 
/**
 * ダウンロードするファイルがあるディレクトリ（相対パス or 絶対パス）
 */
$ini['downloadDir'] = 'download/';
 
/**
 * ログファイルを保存するディレクトリ（相対パス or 絶対パス）
 */
$ini['log']['dir'] = 'log/';
 
/**
 * ログの日付フォーマット:date()
 * http://www.php.net/manual/ja/function.date.php
 */
$ini['log']['dateFormat'] = 'Y/m/d H:i:s';
 
/**
 * ログファイルの拡張子
 */
$ini['log']['name'] = '.log';
 
/**
 * ログファイルの区切り文字
 */
$ini['log']['separator'] = ',';
 
/**
 * 有効な Content-type
 */
$ini['Content-type']['.zip']  = 'application/zip';
$ini['Content-type']['.lzh']  = 'application/x-lzh';
$ini['Content-type']['.txt']  = 'text/plain';
$ini['Content-type']['.php']  = 'text/plain';
$ini['Content-type']['.csv']  = 'text/csv';
$ini['Content-type']['.css']  = 'text/css';
$ini['Content-type']['.js']   = 'text/javascript';
$ini['Content-type']['.html'] = 'text/html';
$ini['Content-type']['.htm']  = 'text/html';
$ini['Content-type']['.gif']  = 'image/gif';
$ini['Content-type']['.jpg']  = 'image/jpeg';
$ini['Content-type']['.jpeg'] = 'image/jpeg';
$ini['Content-type']['.png']  = 'image/png';
$ini['Content-type']['.mpg']  = 'video/mpeg';
$ini['Content-type']['.mpeg'] = 'video/mpeg';
$ini['Content-type']['.wmv']  = 'video/x-ms-wmv';
$ini['Content-type']['.3gp']  = 'video/3gpp';
$ini['Content-type']['.3g2']  = 'video/3gpp2';
 
/**
 * ファイル名チェック用
 * http://www.php.net/manual/ja/reference.pcre.pattern.syntax.php
 */
$ini['pregSource'] = '0-9a-z_\-\~\.';
 
 
/**
 * ここから本文
 */
 
/**
 * ファイル名の抽出
 */
 
$pathinfo_index = isset($_SERVER['ORIG_PATH_INFO']) ? 'ORIG_PATH_INFO' : 'PATH_INFO';
if(!isset($_SERVER[$pathinfo_index])) _back(); // ファイル名は指定されてるかな？
$filename = substr($_SERVER[$pathinfo_index], 1, strlen($_SERVER[$pathinfo_index]));
 
/**
 * ファイル名のチェックとか
 */
 
if(preg_match("/[^{$ini['pregSource']}]/i", $filename)) _back(); // 許可された文字だけかな？
if(!is_file($ini['downloadDir'].$filename)) _back(); // 指定されたファイルはあるかな？
preg_match('/(\.[a-z0-9]+$)/i', $filename, $ext);
if(!isset($ext[0])) _back(); // ファイル名に拡張子はあるかな？
strtolower($ext[0]);
if(!isset($ini['Content-type'][$ext[0]])) _back(); // 許可された拡張子かな？
 
/**
 * ファイル出力
 */
 
header('Content-Type: '.$ini['Content-type'][$ext[0]]);//.'; name='.$filename);
header('Content-Disposition: attachment; filename='.$filename);
header('Content-Length: '.filesize($filename));
 
echo file_get_contents($ini['downloadDir'].$filename);
 
/**
 * ログ生成
 */
$remote_addr = isset($_SERVER["REMOTE_ADDR"])? $_SERVER["REMOTE_ADDR"]: NULL;
$http_user_agent = isset($_SERVER["HTTP_USER_AGENT"])? $_SERVER["HTTP_USER_AGENT"]: NULL;
$l = date($ini['log']['dateFormat']).$ini['log']['separator'].$filename.$ini['log']['separator'].$remote_addr.$ini['log']['separator'].$http_user_agent."\n";
 
/**
 * ログ出力
 */
 
if(!is_dir($ini['log']['dir'])) mkdir($ini['log']['dir']);
$fp = fopen($ini['log']['dir'].date('Ym').$ini['log']['name'], 'a');
fwrite($fp, $l);
fclose($fp);
 
/**
 * 異常時に呼び出される
 * @return void
 */
 
function _back(){
    if(isset($_SERVER['HTTP_REFER'])){
        header('Location: '.$_SERVER['HTTP_REFER']);
    }else{
        header('Location: http://'.$_SERVER['HTTP_HOST']);
    }
    exit;
}
 
?>