Minor fixes

This commit is contained in:
2026-05-31 20:22:13 -05:00
parent 99d46ecd2a
commit 7e1752b39c
2 changed files with 5 additions and 2 deletions
+4 -1
View File
@@ -9,4 +9,7 @@
/*.out /*.out
# Frontend dependencies # Frontend dependencies
/web/ui/node_modules/ /web/ui/node_modules/
# Frontend build artifacts
/web/static/
+1 -1
View File
@@ -201,7 +201,7 @@
return; return;
} }
if (nowMs >= expiry+10_000) { if (nowMs >= expiry) {
refreshTriggered = true; refreshTriggered = true;
window.location.reload(); window.location.reload();
} }