From: Paul Hänsch <paul@plutz.net>
Date: Wed, 25 May 2022 21:41:34 +0000 (+0200)
Subject: keep session updated
X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=db7154116045a351e110409413aeeb9aad2b4c07;p=shellwiki

keep session updated
---

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