From 09f6e8d44a25265e508f526a9c9189785b04a347 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Tue, 14 Jul 2020 23:24:00 +0300
Subject: [PATCH] prolong worker lifetime to 5 minutes (#993)

---
 js/worker-util.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/worker-util.js b/js/worker-util.js
index 4e226a27..77a2a6b6 100644
--- a/js/worker-util.js
+++ b/js/worker-util.js
@@ -6,7 +6,7 @@ const workerUtil = (() => {
   const loadedScripts = new Set();
   return {createWorker, createAPI, loadScript, cloneError};
 
-  function createWorker({url, lifeTime = 30}) {
+  function createWorker({url, lifeTime = 300}) {
     let worker;
     let id;
     let timer;