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()