From 5d12bd9eb6674e9101a6a89c1b7a78ac1940fe6e Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Mon, 2 Oct 2017 22:45:09 +0200
Subject: [PATCH] page: link user name in header bar to login page

Feature logout option.
---
 page.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/page.inc.php b/page.inc.php
index 7c8e191..393d614 100644
--- 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)) {
-- 
2.30.0