From c7cd6b59bd6b81fe940fcb3cde6512554cad1889 Mon Sep 17 00:00:00 2001
From: Ruben Fiszel <ruben@rubenfiszel.com>
Date: Fri, 24 Jun 2022 21:57:55 +0200
Subject: [PATCH] fix: deno exit after result logging

---
 backend/src/worker.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backend/src/worker.rs b/backend/src/worker.rs
index 5e82f6cc94..49bf3a0718 100644
--- a/backend/src/worker.rs
+++ b/backend/src/worker.rs
@@ -579,6 +579,7 @@ async function run() {{
     console.log();
     console.log("result:");
     console.log(res_json);
+    Deno.exit(0);
 }}
 run();
 "#,