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