Searched refs:ctrlWorker (Results 1 – 1 of 1) sorted by relevance
94 var ctrlWorker = new Worker(function (req) { variable97 ctrlWorker.run();116 ctrlWorker.add(ctrlServerReq);