From 6df9b649a1c446d217779b108f51113225349670 Mon Sep 17 00:00:00 2001
From: j433866 <j433866@gmail.com>
Date: Thu, 16 May 2019 13:04:04 +0100
Subject: [PATCH] Terminate zipworker when clearing all io

---
 src/web/InputWaiter.mjs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/web/InputWaiter.mjs b/src/web/InputWaiter.mjs
index 76846650..3d0fd5b1 100644
--- a/src/web/InputWaiter.mjs
+++ b/src/web/InputWaiter.mjs
@@ -1029,6 +1029,7 @@ class InputWaiter {
     clearAllIoClick() {
         this.manager.worker.cancelBake();
         this.manager.output.removeAllOutputs();
+        this.manager.output.terminateZipWorker();
 
         this.manager.highlighter.removeHighlights();
         getSelection().removeAllRanges();