page: link user name in header bar to login page

[minimedit.git] / page.inc.php

diff --git a/page.inc.php b/page.inc.php
index 9d49fad2df8050b4ac7daa86bf903080a9b34bb9..393d614dade2fd2004ba5ad94c40da611da8d302 100644 (file)
--- a/page.inc.php
+++ b/page.inc.php
@@ -9,9 +9,20 @@ 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']) {
-               print ' <a href="#edit">Wijzig</a>';
+               $editpage = $Page.$Args;
+               if (is_dir($editpage)) {
+                       if (file_exists("$editpage/index.html")) {
+                               $editpage .= '/index.html';
+                       }
+               }
+               else {
+                       $editpage .= '.html';
+               }
+               if (is_writable($editpage)) {
+                       print ' <a href="#edit">Wijzig</a>';
+               }
        }
        print "</p></div>\n";
 }