+if (isset($_POST['login'])) {
+ if ($User = login($_POST['login'], $_POST['pass'])) {
+ setcookie('login', $User['auth'], 0, '/');
+ }
+ else {
+ $message = 'Ongeldige gebruikersnaam of wachtwoord.';
+ }
+}
+elseif (isset($_GET['logout'])) {
+ setcookie('login', '', time(), '/'); # expire immediately
+ $User = NULL;
+ $message = 'Uitgelogd.';