ping pong

This commit is contained in:
2026-02-17 03:34:30 +01:00
parent cbd41d9e37
commit 49ed1a5f36
+39 -30
View File
@@ -14,17 +14,43 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
let session: [User, UserProfile] | null = null; let session: [User, UserProfile] | null = null;
let currentRun: string | undefined; let currentRun: string | undefined;
// Heartbeat
let isAlive = true;
const heartbeatInterval = 15000;
const heartbeat = setInterval(() => {
if (!isAlive) {
console.log("Client did not respond to ping, terminating");
return closeClient("Heartbeat timeout");
}
isAlive = false;
if (client.readyState === WebSocket.OPEN) client.ping();
}, heartbeatInterval);
client.on("pong", () => {
isAlive = true;
});
const closeClient = (reason?: string) => { const closeClient = (reason?: string) => {
if (reason) console.warn("Closing client:", reason); if (reason) console.warn("Closing client:", reason);
try { try {
client.close(); client.close();
// force close after 1s if still open
setTimeout(() => { setTimeout(() => {
if (client.readyState !== WebSocket.CLOSED) client.terminate(); if (client.readyState !== WebSocket.CLOSED) client.terminate();
}, 1000); }, 1000);
} catch {} } catch {}
}; };
const cleanupRun = async () => {
if (currentRun) {
try {
await Core.removeLiveRun(currentRun);
} catch (err) {
console.error("Error cleaning up run:", err);
}
currentRun = undefined;
}
};
client.on("message", async (raw) => { client.on("message", async (raw) => {
let requestId: string | undefined; let requestId: string | undefined;
@@ -32,17 +58,15 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
const msg = JSON.parse(raw.toString()); const msg = JSON.parse(raw.toString());
requestId = msg.requestId; requestId = msg.requestId;
// ---------------- AUTHENTICATION ---------------- // AUTHENTICATION
if (!authenticated) { if (!authenticated) {
const { cookies } = msg as { cookies?: Record<string, string> }; const { cookies } = msg as { cookies?: Record<string, string> };
if (!cookies) return closeClient("Missing cookies"); if (!cookies) return closeClient("Missing cookies");
// Await the session
const supabase = await createClientCookie( const supabase = await createClientCookie(
new Map(Object.entries(cookies)), new Map(Object.entries(cookies)),
); );
session = await getSession(supabase); session = await getSession(supabase);
if (!session) return closeClient("Invalid session"); if (!session) return closeClient("Invalid session");
authenticated = true; authenticated = true;
@@ -51,13 +75,13 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
if (!session) return closeClient("Session unexpectedly null"); if (!session) return closeClient("Session unexpectedly null");
// ---------------- POST-AUTH MESSAGE HANDLING ---------------- // POST-AUTH MESSAGE HANDLING
const { type, ...payload } = msg as ClientMessage; const { type, ...payload } = msg as ClientMessage;
switch (type) { switch (type) {
case "create": { case "create": {
const { problem, category } = payload as any; const { problem, category } = payload as any;
if (!problem || !category) { if (!problem || !category)
return client.send( return client.send(
JSON.stringify({ JSON.stringify({
requestId, requestId,
@@ -65,8 +89,7 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
error: "problem and category required", error: "problem and category required",
}), }),
); );
} if (currentRun)
if (currentRun) {
return client.send( return client.send(
JSON.stringify({ JSON.stringify({
requestId, requestId,
@@ -75,7 +98,6 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
"Cannot do multiple runs, delete/submit current run first", "Cannot do multiple runs, delete/submit current run first",
}), }),
); );
}
const runId = randomUUID(); const runId = randomUUID();
await Core.addLiveRun({ await Core.addLiveRun({
@@ -89,7 +111,6 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
}); });
currentRun = runId; currentRun = runId;
return client.send( return client.send(
JSON.stringify({ JSON.stringify({
requestId, requestId,
@@ -105,8 +126,9 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
return client.send( return client.send(
JSON.stringify({ requestId, ok: false, error: "No current run" }), JSON.stringify({ requestId, ok: false, error: "No current run" }),
); );
const { moves, file, language } = payload as any; const { moves, file, language } = payload as any;
if (!moves || file === undefined || language === undefined) { if (!moves || file === undefined || language === undefined)
return client.send( return client.send(
JSON.stringify({ JSON.stringify({
requestId, requestId,
@@ -114,7 +136,6 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
error: "moves, file, and language required", error: "moves, file, and language required",
}), }),
); );
}
const liveRun = await Core.getLiveRun(currentRun); const liveRun = await Core.getLiveRun(currentRun);
if (!liveRun) if (!liveRun)
@@ -128,7 +149,6 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
language, language,
moves, moves,
); );
return client.send( return client.send(
JSON.stringify({ requestId, ok: true, type: "move", data: run }), JSON.stringify({ requestId, ok: true, type: "move", data: run }),
); );
@@ -148,7 +168,6 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
const run = await Core.submitRun(liveRun, session[0].id); const run = await Core.submitRun(liveRun, session[0].id);
currentRun = undefined; currentRun = undefined;
return client.send( return client.send(
JSON.stringify({ requestId, ok: true, type: "submit", data: run }), JSON.stringify({ requestId, ok: true, type: "submit", data: run }),
); );
@@ -160,16 +179,13 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
JSON.stringify({ requestId, ok: false, error: "No current run" }), JSON.stringify({ requestId, ok: false, error: "No current run" }),
); );
await Core.removeLiveRun(currentRun); await cleanupRun();
const deletedRun = currentRun;
currentRun = undefined;
return client.send( return client.send(
JSON.stringify({ JSON.stringify({
requestId, requestId,
ok: true, ok: true,
type: "delete", type: "delete",
data: { id: deletedRun }, data: { id: currentRun },
}), }),
); );
} }
@@ -195,29 +211,22 @@ export function UPGRADE(client: WebSocket, server: WebSocketServer) {
} }
} catch (err) { } catch (err) {
console.error(err); console.error(err);
if (requestId) { if (requestId)
client.send( client.send(
JSON.stringify({ requestId, ok: false, error: "Malformed message" }), JSON.stringify({ requestId, ok: false, error: "Malformed message" }),
); );
}
closeClient("Malformed message"); closeClient("Malformed message");
} }
}); });
client.on("close", async () => { client.on("close", async () => {
console.log("WebSocket closed, cleaning up run:", currentRun); clearInterval(heartbeat);
if (currentRun) { await cleanupRun();
try {
await Core.removeLiveRun(currentRun);
} catch (err) {
console.error("Error cleaning up run on close:", err);
}
currentRun = undefined;
}
}); });
client.on("error", (err) => { client.on("error", (err) => {
console.error("WebSocket error:", err); console.error("WebSocket error:", err);
clearInterval(heartbeat);
closeClient("WebSocket error"); closeClient("WebSocket error");
}); });
} }