4 if (isset($_POST['login'])) {
5 if ($User = login($_POST['login'], $_POST['pass'])) {
6 setcookie('login', $User['auth'], 0, '/');
9 $message = 'Ongeldige gebruikersnaam of wachtwoord.';
12 elseif (isset($_GET['logout'])) {
13 setcookie('login', '', time(), '/'); # expire immediately
15 $message = 'Uitgelogd.';
20 require_once 'login.inc.php';
24 if (isset($_GET['goto'])) {
26 $target = ltrim($_GET['goto'], '/');
27 header("Location: /$target");
28 http_response_code(302);
32 <p>Ingelogd als <em><?php print $User['name']; ?></em>.</p>
34 <p class="nav"><a href="?logout">Uitloggen</a></p>
37 if (!empty($User['admin'])) {
38 print "<h3>Aanpassingen</h3>\n";
39 include_once 'admin/commits.php';