From 477f85145c6bb6eec7e86796651afaa35da0e7d2 Mon Sep 17 00:00:00 2001 From: metamuffin Date: Sun, 18 May 2025 15:02:18 +0200 Subject: webui live updating --- scripts/complete_from_files.ts | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts/complete_from_files.ts') 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 } -- cgit v1.2.3-70-g09d2