()
| 436 | } |
| 437 | |
| 438 | mountDevtools(): void { |
| 439 | if (this.devtoolsMounted) { |
| 440 | return |
| 441 | } |
| 442 | |
| 443 | this.devtoolsMounted = true |
| 444 | this.devtoolsBridge.mountWithTools(this.processor.getMessages().length) |
| 445 | } |
| 446 | |
| 447 | /** |
| 448 | * Drain a runId-less RUN_ERROR that belongs to a cleared run the client is |