From ebf8861a610cffdd8ea0455c568aee7f429a73af Mon Sep 17 00:00:00 2001
From: aqw42 <garsvog1@gmail.com>
Date: Thu, 5 Jun 2025 18:29:05 +0200
Subject: [PATCH] Protect from unwanted client intents

---
 src/server/GameServer.ts | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/server/GameServer.ts b/src/server/GameServer.ts
index 3bcf80ba7..4bc8a9adc 100644
--- a/src/server/GameServer.ts
+++ b/src/server/GameServer.ts
@@ -197,6 +197,12 @@ export class GameServer {
               );
               return;
             }
+            if (clientMsg.intent.type === "mark_disconnected") {
+              this.log.warn(
+                `Should not receive mark_disconnected intent from client`,
+              );
+              return;
+            }
             this.addIntent(clientMsg.intent);
           }
           if (clientMsg.type === "ping") {