fix(server): server/terminate with player_uuid

json_schema/client_to_server.json

@@ -141,6 +141,23 @@
                 },
                 "required": [ "player_uuid", "message"]
             }
+        },
+        {
+            "if": {
+                "properties": {
+                    "message_type": { "const": "server/terminate" }
+                }
+            },
+            "then": {
+                "properties": {
+                    "player_uuid": {
+                        "description": "The uuid of the player who sent the message",
+                        "type": "string",
+                        "format": "uuid"
+                    }
+                },
+                "required": [ "player_uuid" ]
+            }
         }
     ]
 }

json_schema/examples/client_to_server/server_terminate.example.json

@@ -0,0 +1,4 @@
+{
+    "message_type": "server/terminate",
+    "player_uuid": "123e4567-e89b-12d3-a456-426614174000"
+}