feat(gui): right_arm.js — auto-refresh, detect, move, home, custom
This commit is contained in:
1 parent
03ecbbae4e
commit
8297abb61d
2 files changed
+387
-1
No files matched your search
@@ -107,7 +107,7 @@ def index() -> HTMLResponse:
|
||||
idx = WEB_DIR / "index.html"
|
||||
html = idx.read_text(encoding="utf-8")
|
||||
# Cache-bust app.js and style.css with their mtime so a rebuild forces refetch.
|
||||
for name in ("app.js", "work_plane.js", "style.css"):
|
||||
for name in ("app.js", "work_plane.js", "right_arm.js", "style.css"):
|
||||
f = WEB_DIR / name
|
||||
if f.exists():
|
||||
v = int(f.stat().st_mtime)
|
||||
|
||||
Reference in new issue
Block a user