Merge pull request #35 from ZeusWPI/web_interface

fix: finalised zauth integration
ZeusWPI · Dec 29, 2024 · 4715920 · 4715920
2 parents 4b757c4 + 72c2a0c
commit 4715920
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/website/templates/editor_selector.html b/website/templates/editor_selector.html
@@ -16,6 +16,14 @@
             <a href="/">Home</a>
             <a href="/editor_selector">Editor</a>
         </div>
+
+        <!-- Logout button on the right -->
+        <div>
+            {% if user %}
+                <span>Welcome, {{ user['username'] }}</span>
+            {% endif %}
+            <a href="/logout">logout</a>
+        </div>
     </div>
     <div>
         <h1>Hlds file editor</h1>