FIX: the server now closes the socket after 30s of no pong

2020-11-09 12:12:52 +01:00
parent a14e227706
commit 85f2dabe6c
3 changed files with 16 additions and 2 deletions
@@ -26,6 +26,7 @@ export interface ExSocketInterface extends WebSocket, Identificable {
    batchedMessages: BatchMessage;
    batchTimeout: NodeJS.Timeout|null;
    pingTimeout: NodeJS.Timeout|null;
+    pongTimeout: NodeJS.Timeout|null;
    disconnecting: boolean,
    tags: string[],
    textures: CharacterTexture[],