<?

php
$filename = "cvxopt-1.1.5.tar.gz";
define("_BBCLONE_DIR", "cvxopt-monitor/");
define("COUNTER", _BBCLONE_DIR."mark_page.php");
if (is_readable(COUNTER)) include_once(COUNTER);
header ("Content-Type: application/x-gtar");
header ("Content-Length: " . filesize($filename));
header ("Content-Disposition: attachment; filename=$filename");
readfile($filename);
?>