fix: Pip servers handle config changes gracefully#142

Merged

bmingles merged 2 commits intomainfrom 137-pip-server-port-conflicts

Sep 26, 2024

+91-27

Commits on Sep 23, 2024

Better co-existence of pip managed servers with configured servers (#137 )
bmingles
committed
Fixed bug with losing access to running pip server on config change (#137 )
bmingles
committed