Skip to content

Server's context manager spares a server it did not start - #728

Open
tony wants to merge 1 commit into
masterfrom
fix/724-server-kill-on-exit
Open

Server's context manager spares a server it did not start#728
tony wants to merge 1 commit into
masterfrom
fix/724-server-kill-on-exit

Server(fix[__exit__]): Spare a pre-existing server

846fb7c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (3.14, 3.5)
succeeded Jul 29, 2026 in 1m 5s