fix(devx): reserve the port sdui_pick_free_port hands out, instead of probing and letting go - #10217

Merged

os-zhuang merged 2 commits into

mainfrom

claude/issue-10167-pick-free-port-toctou

Aug 20, 2026

Commits on Aug 20, 2026

fix(devx): reserve the port sdui_pick_free_port hands out, instead of probing and letting go
claude
committed
95b6a78
test(devx): make the collision harness report a lost bind instead of dying on it
claude
committed
7d865c1