+if (isset($_POST['login'])) {
+ if ($User = login($_POST['login'], $_POST['pass'])) {
+ login_setcookie();
+ }
+ else {
+ $message = 'Ongeldige gebruikersnaam of wachtwoord.';
+ }
+}
+elseif (isset($_GET['logout'])) {
+ setcookie('login', '', time(), '/'); # expire immediately
+ $User = NULL;
+ $message = 'Uitgelogd.';
+}
+
+if (empty($User)) {
+ ob_clean();
+ require_once 'login.inc.php';
+ $part = ['warn' => $message];
+ print getoutput($part);
+ return TRUE;
+}
+
+if (isset($_GET['goto'])) {
+ ob_clean();
+ $target = ltrim($_GET['goto'], '/');
+ header("Location: /$target");
+ http_response_code(302);