Minor fixes

2026-05-31 20:22:13 -05:00
parent 99d46ecd2a
commit 7e1752b39c
2 changed files with 5 additions and 2 deletions
@@ -9,4 +9,7 @@
 /*.out

 # Frontend dependencies
-/web/ui/node_modules/
+/web/ui/node_modules/
+
+# Frontend build artifacts
+/web/static/
@@ -201,7 +201,7 @@
      return;
    }

-    if (nowMs >= expiry+10_000) {
+    if (nowMs >= expiry) {
      refreshTriggered = true;
      window.location.reload();
    }