Server selector

This commit is contained in:
2026-08-18 16:09:08 +02:00
parent a14f6d3a0f
commit 06ca3a4bae
3 changed files with 45 additions and 12 deletions
+17 -1
View File
@@ -5,7 +5,7 @@ export interface KnownServer {
description: string;
publicKey: string;
hostname: string;
isWss: boolean;
isSecure: boolean;
}
export async function saveServerList(servers: KnownServer[]): Promise<void> {
@@ -15,3 +15,19 @@ export async function saveServerList(servers: KnownServer[]): Promise<void> {
export async function getServerList(): Promise<KnownServer[]> {
return await invoke("get_server_list");
}
export function getHTTPUrl(server: KnownServer, path: string) {
const hostname = server.hostname.includes(":")
? server.hostname
: server.hostname + ":3415";
return (server.isSecure ? "https://" : "http://") + hostname + path;
}
export function getWSUrl(server: KnownServer) {
const hostname = server.hostname.includes(":")
? server.hostname
: server.hostname + ":3415";
return (server.isSecure ? "wss://" : "ws://") + hostname;
}