-// fallback page shown on authentication failure
-include 'head.inc.php';
-?>
-<h2>Inloggen mislukt</h2>
-<p>Geen geldige login voor sitebeheer.</p>
+ echo '<p class="warn">Ongeldige gebruikersnaam of wachtwoord.</p>'."\n\n";
+}
+elseif (!empty($User)) {
+ setcookie('login', '', time(), '/'); # expire immediately
+ echo '<p class="warn">Uitgelogd.</p>'."\n\n";
+}