page: link user name in header bar to login page

Feature logout option.

diff --git a/page.inc.php b/page.inc.php
index 7c8e191aa2485d5060f8d44d5d02209354a79a98..393d614dade2fd2004ba5ad94c40da611da8d302 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -9,7 +9,7 @@ include DOCROOT.'menu.html';
 ob_start();
 if (isset($User)) {
        print '<div class="login"><p>';
-       printf('<span>Ingelogd: <b>%s</b></span>', $User['name']);
+       printf('<span>Ingelogd: <b><a href="%s">%s</a></b></span>', '/login', $User['name']);
        if ($User['admin']) {
                $editpage = $Page.$Args;
                if (is_dir($editpage)) {