()
| 1816 | } |
| 1817 | |
| 1818 | private async reloadSources(): Promise<void> { |
| 1819 | if (!this.vmService) |
| 1820 | return; |
| 1821 | |
| 1822 | const result = await this.vmService.getVM(); |
| 1823 | const vm = result.result as VM; |
| 1824 | |
| 1825 | await Promise.all(vm.isolates.map((isolateRef) => this.vmService!.callMethod("reloadSources", { isolateId: isolateRef.id }))); |
| 1826 | } |
| 1827 | |
| 1828 | protected logStdout(message: string) { |
| 1829 | this.logToUserBuffered(message, "stdout"); |
nothing calls this directly
no test coverage detected