function allowFromKey()
{
$keys = file_get_contents(dirname(__FILE__) . '/keys');
$keys = explode("\n", $keys);
foreach ($keys as $k) {
if ($k == $_SERVER['PHP_AUTH_USER']) {
return true;
}
}
error_forbidden('Header: ' . $header);
}
if ($this_is_webpage){
#login_b_cookie();
#login_check();
}
#
# disable precaching
#
if (StrToLower($_SERVER['HTTP_X_MOZ']) == 'prefetch'){
if (!$allow_precache){
error_forbidden();
}
}
#
# general utility functions
#
function dumper($foo){
echo "<pre style=\"text-align: left;\">";
echo HtmlSpecialChars(var_export($foo, 1));
echo "</pre>\n";
}
