VDMDI/UDN
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

handle errors when sending pings

Browse Source
This commit is contained in:
marlon-erler
2026-04-08 11:08:13 +00:00
parent 1f6e5c613e
commit 83176d3133
1 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
websocket-handler.ts
+6 -4
View File
@@ -78,8 +78,8 @@ export function forgetSubscription(
} }
// AUDIT // AUDIT
export function getWebSocketStats(): [string, string|number][] { export function getWebSocketStats(): [string, string | number][] {
function listString<T>(list: Set<T>|Map<string, T>, map: (x: T) => string): string { function listString<T>(list: Set<T> | Map<string, T>, map: (x: T) => string): string {
if (list.size == 0) return "<none>"; if (list.size == 0) return "<none>";
return [...list.values()].map(map).join("\n"); return [...list.values()].map(map).join("\n");
} }
@@ -103,8 +103,10 @@ export function connectServers(config: typeof defaultConfig): void {
export function reconnectServers(config: typeof defaultConfig): void { export function reconnectServers(config: typeof defaultConfig): void {
config.connectedServers config.connectedServers
.map(address => address.replace("ws", "http")) .map(address => address.replace("ws", "http"))
.forEach(address => { .forEach(async address => {
fetch(address); try {
await fetch(address);
} catch (error) { writeError(`failed to ping server at "${address}": ${error}`) }
}); });
[...serversDisconnected.values()].forEach((address) => { [...serversDisconnected.values()].forEach((address) => {