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"; }