(port: number)
| 610 | }; |
| 611 | |
| 612 | const showPortInUseDialog = async (port: number) => { |
| 613 | await dialog.showMessageBox({ |
| 614 | type: "error", |
| 615 | title: "Executor port in use", |
| 616 | message: `Port ${port} is already taken.`, |
| 617 | detail: |
| 618 | "Another process is listening on that port. Quit it (or change the desktop server's port in Settings) and relaunch Executor.", |
| 619 | buttons: ["OK"], |
| 620 | }); |
| 621 | }; |
| 622 | |
| 623 | // Last non-port-conflict sidecar startup failure, surfaced by boot() in a |
| 624 | // user-facing dialog instead of letting the app vanish without a window. |
no outgoing calls
no test coverage detected