Make sure clean is worked

2026-07-08 01:31:00 +08:00 · 2023-05-20 09:04:37 +08:00
parent e3fc38ff06
commit 81e8655d3b
3 changed files with 31 additions and 13 deletions
--- a/task_manager.ts
+++ b/task_manager.ts
@@ -67,6 +67,9 @@ export class TaskManager {
            this.running_tasks.delete(id);
        }
    }
+    close() {
+        this.db.close();
+    }
    async run() {
        while (1) {
            await this.check_running_tasks();