Docker / publish (push) Canceled after 0s
Release / crates-io (push) Canceled after 0s
Release / release (macos-14, aarch64-apple-darwin) (push) Canceled after 0s
Release / release (ubuntu-latest, x86_64-unknown-linux-gnu) (push) Canceled after 0s
Release / release (windows-latest, x86_64-pc-windows-msvc) (push) Canceled after 0s
- put_settings now heals [routing] after the managed-servers list changes: a
removed server whose port is taken over by a new one is treated as a
replacement (old id → new id in default + every tier); truly vanished ids are
stripped; an emptied default falls back to the first managed server / pool
model. Previously the stale id failed validation and the save errored.
- /admin/api/cmf/port now returns managed:true when the port is held by this
gateway's own managed server; the Settings port check shows that as info
("freed on restart, replacing is fine") instead of a red "port busy".