login: avoid php notice on missing user

[minimedit.git] / login.php

diff --git a/login.php b/login.php
index 042dea94f9ea0c1331c38ff7e9948f0f2c7aef42..369a01358f34276c3eb5dd7e4ec0d02e24c2a396 100644 (file)
--- a/login.php
+++ b/login.php
@@ -12,7 +12,7 @@ if (isset($_POST['login'])) {
 
        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";
 }