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.
This commit is contained in:
Sybren A. Stüvel 2022-07-04 11:59:19 +02:00
parent f2f8357df7
commit 0e3d822868

View File

@ -14,6 +14,11 @@ window.plain = (x) => JSON.parse(JSON.stringify(x));
// objectEmpty returns whether the object is empty or not. // objectEmpty returns whether the object is empty or not.
window.objectEmpty = (o) => !o || Object.entries(o).length == 0; 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 app = createApp(App)
const pinia = createPinia() const pinia = createPinia()