From 0e3d8228680572f16d795877523cfc4e9cc9801c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sybren=20A=2E=20St=C3=BCvel?= Date: Mon, 4 Jul 2022 11:59:19 +0200 Subject: [PATCH] Web: refresh page every hour Do a refresh of the web interface once per hour. This is just to make sure that long-lived displays (like the TV in the hallway at Blender HQ) pick up on HTML/JS/CSS changes eventually. --- web/app/src/main.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/web/app/src/main.js b/web/app/src/main.js index 55589b01..d516e899 100644 --- a/web/app/src/main.js +++ b/web/app/src/main.js @@ -14,6 +14,11 @@ window.plain = (x) => JSON.parse(JSON.stringify(x)); // objectEmpty returns whether the object is empty or not. window.objectEmpty = (o) => !o || Object.entries(o).length == 0; +// Do a full refresh once per hour. This is just to make sure that long-lived +// displays (like the TV in the hallway at Blender HQ) pick up on HTML/JS/CSS +// changes eventually. +window.setTimeout(window.location.reload, 3600 * 1000); + const app = createApp(App) const pinia = createPinia()