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