webui live updating

1 files changed, 1 insertions, 0 deletions

diff --git a/scripts/complete_from_files.ts b/scripts/complete_from_files.ts
index 6aec7a2..f5770a2 100644
--- a/scripts/complete_from_files.ts
+++ b/scripts/complete_from_files.ts
@@ -26,6 +26,7 @@ ws.onopen = async () => {
     console.log("ws open");
     ws.send(JSON.stringify({ t: "register", name: "complete from files", task_kinds: [] }))
     await traverse(root)
+    ws.send(JSON.stringify({ t: "save" }))
     console.log(`done, ${counter} tasks marked as complete`);
     setTimeout(() => Deno.exit(0), 200) // not sure if websockets are flushed since they're instant
 }