From c7ebaccb3f47626569508905c154b8f59da9dff0 Mon Sep 17 00:00:00 2001
From: portree_kid <keith.paterson@gmx.de>
Date: Sun, 29 Mar 2020 14:58:25 +0200
Subject: [PATCH] Close worker on crash

---
 src/renderer/utils/worker.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/renderer/utils/worker.js b/src/renderer/utils/worker.js
index d680332..1b0d7ae 100644
--- a/src/renderer/utils/worker.js
+++ b/src/renderer/utils/worker.js
@@ -30,6 +30,7 @@ onmessage = function (event) {
         ).catch(result => {
             console.log('Crashed');
             console.log(result);
+            postMessage('DONE');
         });
     } else if (event.data[0] === 'scanai') {
         scanai(event.data[1]).then(result => {
@@ -40,6 +41,7 @@ onmessage = function (event) {
         ).catch(result => {
             console.log('Crashed');
             console.log(result);
+            postMessage('DONE');
         });
     }
     else if (event.data[0] === 'scanapt') {
@@ -51,6 +53,7 @@ onmessage = function (event) {
         ).catch(result => {
             console.log('Crashed');
             console.log(result);
+            postMessage('DONE');
         });
 
     }