From 1b4d22cfbf901ae9df0ca0e35bd24557b4b749d5 Mon Sep 17 00:00:00 2001
From: root <root@login1p.fsf.org>
Date: Fri, 19 Nov 2021 16:13:42 -0500
Subject: [PATCH] add a logout link on loggedin page

---
 themes/fsftheme/casserver/loggedIn.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/themes/fsftheme/casserver/loggedIn.php b/themes/fsftheme/casserver/loggedIn.php
index 8fe436b..140d22c 100644
--- a/themes/fsftheme/casserver/loggedIn.php
+++ b/themes/fsftheme/casserver/loggedIn.php
@@ -36,7 +36,8 @@ $this->includeAtTemplateBase('includes/header.php');
               throw new Exception('fsfdrupalauth: "name" attribute missing.');
 	}
 
-	echo $this->t('{fsfdrupalauth:fsfdrupalauth:loggedin_as_description}') . "<strong>" . htmlspecialchars($attrs['name'][0]) . "</strong>.";
+	echo $this->t('{fsfdrupalauth:fsfdrupalauth:loggedin_as_description}') . "<strong>" . htmlspecialchars($attrs['name'][0]) . "</strong>";
+        echo " <a href=\"/cas/logout?url=/cas/login\">[log out]</a>";
         ?>
     </p>
 
-- 
2.25.1