Searched refs:activeWorkers (Results 1 – 1 of 1) sorted by relevance
24 const activeWorkers = new Map<string, Worker>(); constant37 if (activeWorkers.has(id)) {42 activeWorkers.set(id, activeWorker);47 if (!activeWorkers.has(id)) {50 activeWorkers.get(id)!.terminate();51 activeWorkers.delete(id);