(port: number)
| 568 | }; |
| 569 | |
| 570 | const showPortInUseDialog = async (port: number) => { |
| 571 | await dialog.showMessageBox({ |
| 572 | type: "error", |
| 573 | title: "Executor port in use", |
| 574 | message: `Port ${port} is already taken.`, |
| 575 | detail: |
| 576 | "Another process is listening on that port. Quit it (or change the desktop server's port in Settings) and relaunch Executor.", |
| 577 | buttons: ["OK"], |
| 578 | }); |
| 579 | }; |
| 580 | |
| 581 | // Last non-port-conflict sidecar startup failure, surfaced by boot() in a |
| 582 | // user-facing dialog instead of letting the app vanish without a window. |
no outgoing calls
no test coverage detected