Detect servers started outside Jasper's environment and offer to restart them under Jasper - #480

Open

ericwinger wants to merge 18 commits into

mainfrom

eric/issue472-external-servers

Commits on Aug 21, 2026

Detect servers started outside Jasper, and stop the tree lying about them

ericwinger
and
claude
committed
a1d52af
Prove the scan against a live stone, cover WSL, and check the PID is still ours

ericwinger
and
claude
committed
9722cb3

Commits on Aug 22, 2026

Review fixes: stop the detection turning on Jasper's own servers

ericwinger
and
claude
committed
e437d50

Commits on Aug 24, 2026

Stop the user's shell rewriting the environment Jasper hands its commands

ericwinger
and
claude
committed
2d52050
Test plan: test 0 fully verified, including the database terminal

ericwinger
and
claude
committed
e0c37ab
Test plan: test 1 passed, and say that the server name must match

ericwinger
and
claude
committed
3ade527
Offer the restart for a netldi Jasper cannot identify

ericwinger
and
claude
committed
5e86fdd
Say which server was actually started outside Jasper

ericwinger
and
claude
committed
1dd4ab8
Test plan: a sourceable setup script, because the failure was silent

ericwinger
and
claude
committed
033f145
Test setup: check the state instead of printing commands to interpret

ericwinger
and
claude
committed
ea05ce9
Test plan: tests 3 and 6 passed

ericwinger
and
claude
committed
6aad92e
Put the external-server restart in the right-click menu too

ericwinger
and
claude
committed
81bf78d
Do not offer to connect where nothing will connect

ericwinger
and
claude
committed
ee1fc31
Test plan: test 5 passed

ericwinger
and
claude
committed
be29adf
Test plan: test 4 passed

ericwinger
and
claude
committed
7f7da63
Test plan: all 8 UI tests passed

ericwinger
and
claude
committed
9b318f3
Merge remote-tracking branch 'origin/main' into eric/issue472-external-servers
ericwinger
committed
711bb39
Do not run the process-table scan test where there is no ps

ericwinger
and
claude
committed
9abf08d