Function getServerDedupKey

app/src/modules/hub.js:40–45

(server)

}

function getServerDedupKey(server) {
  if (server.wsUrl) return `ws:${server.wsUrl}`;
  const parsed = parseServerAddress(server.addr || '');
  if (parsed.ok) return `ws:${parsed.wsUrl}`;
  return `addr:${String(server.addr || '').trim().toLowerCase()}`;
}

function getServerDisplayName(server) {
  return (server.alias || server.addr || '').trim();