2019-05-16 08:05:36 +02:00
|
|
|
import { WorkerScript } from "./WorkerScript";
|
|
|
|
|
2022-10-04 12:40:10 +02:00
|
|
|
/** Global pool of all active scripts (scripts that are currently running) */
|
2019-06-19 10:03:08 +02:00
|
|
|
export const workerScripts: Map<number, WorkerScript> = new Map();
|