()
| 128 | append(`profiler:started workerSession=${workerSessionId}`); |
| 129 | }, |
| 130 | async stop() { |
| 131 | if (!workerSessionId) return null; |
| 132 | const { profile } = await send(workerSessionId, 'Profiler.stop'); |
| 133 | return profile; |
| 134 | }, |
| 135 | close() { try { ws.close(); } catch { /* ignore */ } } |
| 136 | }; |
| 137 | } |