diff options
Diffstat (limited to 'scripts/complete_from_files.ts')
| -rw-r--r-- | scripts/complete_from_files.ts | 1 |
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 } |