login.php

   1 <?php
   2 if (isset($_POST['login'])) {
   3         if ($User = login($_POST['login'], $_POST['pass'])) {
   4                 setcookie('login', $User['auth'], 0, '/');
   5         }
   6         else {
   7                 echo '<p class="warn">Ongeldige gebruikersnaam of wachtwoord.</p>'."\n\n";
   8         }
   9 }
  10 elseif (isset($_GET['logout'])) {
  11         setcookie('login', '', time(), '/'); # expire immediately
  12         $User = NULL;
  13         echo '<p class="warn">Uitgelogd.</p>'."\n\n";
  14 }
  15
  16 if (isset($_GET['goto']) and isset($User)) {
  17         ob_clean();
  18         $target = ltrim($_GET['goto'], '/');
  19         header("Location: /$target");
  20         http_response_code(302);
  21         exit;
  22 }
  23
  24 if (empty($User)) {
  25 ?>
  26 <form action="" method="post">
  27         <input id="login" name="login" placeholder="Huisnummer" />
  28         <input id="pass" name="pass" type="password" value="" placeholder="Wachtwoord" />
  29         <input type="submit" value="Log in" />
  30 </form>
  31 <?php
  32         return;
  33 }
  34
  35 ob_clean();
  36 ?>
  37 <h2>Ingelogd</h2>
  38
  39 <p>Ingelogd als <em><?php print $User['name']; ?></em>.</p>
  40
  41 <p class="nav"><a href="?logout">Uitloggen</a></p>