#include "party.style"

<?
  function reauth()
  {
      header("WWW-Authenticate: Basic realm=\"Debian Birthday Party\"");
      header("HTTP/1.0 401 Unauthorized");
      echo "Wrong Username or Password\n";
      exit;
  }

  if ($oldauth <> $PHP_AUTH_USER) {
    header("Location: index.php3\n\n");
  } else {
    reauth();
  }
?>

# Local variables:
# mode: indented-text
# mode: auto-fill
# end: