in webdev mode make page auto-refresh every 3 seconds

2026-05-10 16:04:37 +00:00 · 2023-12-08 14:30:41 +01:00
parent 931305d454
commit 9531d62f57
2 changed files with 4 additions and 0 deletions
--- a/deploy-chatmail/src/deploy_chatmail/www.py
+++ b/deploy-chatmail/src/deploy_chatmail/www.py
@@ -71,6 +71,7 @@ def main():
    reporoot = path.joinpath("../../../").resolve()
    inipath = reporoot.joinpath("chatmail.ini")
    config = get_ini_settings(chatmail_domain, inipath)
+    config["webdev"] = True
    www_path = reporoot.joinpath("www")
    src_path = www_path.joinpath("src")
    stats = None
--- a/www/src/page-layout.html
+++ b/www/src/page-layout.html
@@ -2,6 +2,9 @@
 <html>
 <head>
    <meta charset="utf-8" />
+    {% if config.webdev %}
+    <meta http-equiv="refresh" content="3">
+    {% endif %}
    <title>{{ config.mail_domain }} {{ pagename }}</title>
    <link rel="stylesheet" href="./water.css">
 </head>