);
}
function describeServer(server: PreviewableServer): string {
if (server.processName) return server.processName;
if (server.listening) return "Listening";
if (server.source === "configured") return "Configured";
return "Recently seen";
}
function PulsingDot() {
return (