(pid: number)
| 367 | } |
| 368 | |
| 369 | protected recordAdditionalPid(pid: number) { |
| 370 | this.additionalPidsToTerminate.add(pid); |
| 371 | this.additionalPidCompleter.resolve(); |
| 372 | } |
| 373 | |
| 374 | private async subscribeToStreams(): Promise<void> { |
| 375 | if (!this.vmService) |