page: ignore failed user setup during errors

[minimedit.git] / page.inc.php

diff --git a/page.inc.php b/page.inc.php
index 94ef7cfb0dbf48aed0b6e97b99afd7c931b7f1ce..120fb957c2ea35b8f7ab07f56344370128823815 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -7,7 +7,7 @@ print "<header>\n";
 ob_start();
 include 'menu.inc.html';
 ob_start();
-if ($User and $User->login) {
+if ($User and property_exists($User, 'login') and $User->login) {
        print '<div class="login"><p>';
        printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User->login);
        if ($User->admin("edit $Page$Args")) {