fix(ssh): reconnecting no longer restarts the remote server - #13521

Open

f4llenz wants to merge 4 commits into

pingdotgg:mainfrom

f4llenz:fix/ssh-reuse-own-managed-server

Commits on Sep 24, 2026

fix(ssh): keep the managed server when it is the one in server-runtime.json
f4llenz
committed
e61a017
test(ssh): check the stopped server by its port, not its PID
f4llenz
committed
5bfeafc

Commits on Sep 25, 2026

Merge branch 'main' into fix/ssh-reuse-own-managed-server
f4llenz
authored
b8f8482

Commits on Sep 26, 2026

Merge branch 'main' into fix/ssh-reuse-own-managed-server
f4llenz
authored
fe616c7