From adc92d19f8b9a8b30869d504bfc95648aeafc6cb Mon Sep 17 00:00:00 2001
From: Ardis Lu <ardisglu@gmail.com>
Date: Sat, 25 Mar 2023 19:57:08 -0700
Subject: [PATCH] Terminate self when complete

---
 worker.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/worker.js b/worker.js
index 96188b4..87828c7 100644
--- a/worker.js
+++ b/worker.js
@@ -36,4 +36,5 @@ addEventListener('message', e => {
   const { name, parametersTypes, seed = 0, minimum } = e.data;
   const { functionName, hash, counter } = calculateOptimizedName(name, parametersTypes, seed, minimum);
   postMessage({ functionName, hash, counter, completed: true });
+  close();
 });
-- 
2.47.3