feat: clearer split between local (managed) and remote URLs and server status

1 files changed, 6 insertions, 0 deletions

diff --git a/app/backends/servers.py b/app/backends/servers.py
index 63f37ce..912c09d 100644
--- a/app/backends/servers.py
+++ b/app/backends/servers.py
@@ -258,3 +258,9 @@ def pid_for(name: str):
         return int(pid_file.read_text(encoding="utf-8").strip())
     except (OSError, ValueError):
         return None
+
+
+def alive(name: str) -> bool:
+    """True when the server named NAME was started by us and is still alive."""
+    pid = pid_for(name)
+    return pid is not None and _pid_alive(pid)