From 1ff9a635bd9b033b631a6b525891b7eb44e189d3 Mon Sep 17 00:00:00 2001 From: historia Date: Mon, 24 Aug 2026 16:08:33 -0400 Subject: feat: clearer split between local (managed) and remote URLs and server status --- app/backends/servers.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'app/backends/servers.py') 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) -- cgit v1.2.3