fn resolve_server(
server: ServerConfig,
gateway_port: u16,
path: &Path,
) -> Result<ServerConfig, WorkspaceError>Expand description
The [server] section, refusing the two ports that cannot work: 0, which
is OS-assigned and so unguessable, and the gateway’s own port, where the
listener that binds second loses at boot.
A disabled listener is not validated at all. Nothing will bind that port, so a stale one left in a hand-authored file is not worth refusing the boot over.