From db7154116045a351e110409413aeeb9aad2b4c07 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Wed, 25 May 2022 23:41:34 +0200
Subject: [PATCH] keep session updated

---
 index.cgi | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.cgi b/index.cgi
index 2248308..091254c 100755
--- a/index.cgi
+++ b/index.cgi
@@ -9,6 +9,9 @@
 WIKI_THEME="${WIKI_THEME:-default}"
 . "${_EXEC}/themes/${WIKI_THEME}.sh"
 
+# Renew session cookie, only if cookie already set
+[ "$(COOKIE session)" ] && SESSION_COOKIE
+
 wiki_text() {
   # Print source text of a wiki page
   # Get page from data or underlay dir
-- 
2.39.2