4 if (isset($_POST['login'])) {
5 if ($user = login($_POST['login'], $_POST['pass'])) {
6 setcookie('login', $user['auth'], 0, '/');
8 header("Location: /"); //TODO: goto
9 http_response_code(302);
13 echo '<p class="warn">Ongeldige gebruikersnaam of wachtwoord.</p>'."\n\n";
16 setcookie('login', '', time(), '/'); # expire immediately
17 echo '<p class="warn">Uitgelogd.</p>'."\n\n";
21 <form action="" method="post">
22 <input id="login" name="login" placeholder="Huisnummer" />
23 <input id="pass" name="pass" type="password" value="" placeholder="Wachtwoord" />
24 <input type="submit" value="Log in" />