keep session updated

[shellwiki] / index.cgi

diff --git a/index.cgi b/index.cgi
index 2248308ddd05ce61252beb9e1edd7fe333efdfa8..091254cf76795f1fdb0342edd47d59ebce923deb 100755 (executable)
--- 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