Home
last modified time | relevance | path

Searched refs:refresh_worker (Results 1 – 1 of 1) sorted by relevance

/development/tools/winscope/src/trace_collection/
Dproxy_client.ts286 if (client.refresh_worker === undefined) {
287 client.refresh_worker = setInterval(client.getDevices, 1000);
312 refresh_worker: NodeJS.Timeout | undefined; property in ProxyClient
348 if (proxyClient.refresh_worker !== undefined) {
349 clearInterval(proxyClient.refresh_worker);
350 proxyClient.refresh_worker = undefined;