diff --git a/.gitignore b/.gitignore index 436a03c..a83a3eb 100644 --- a/.gitignore +++ b/.gitignore @@ -9,4 +9,7 @@ /*.out # Frontend dependencies -/web/ui/node_modules/ \ No newline at end of file +/web/ui/node_modules/ + +# Frontend build artifacts +/web/static/ \ No newline at end of file diff --git a/web/ui/src/App.svelte b/web/ui/src/App.svelte index a3c426f..656ec44 100644 --- a/web/ui/src/App.svelte +++ b/web/ui/src/App.svelte @@ -201,7 +201,7 @@ return; } - if (nowMs >= expiry+10_000) { + if (nowMs >= expiry) { refreshTriggered = true; window.location.reload(); }