From c83bdbf0839ee101af43b852997a0534f23c5cf0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Pa=C3=9F?=
 <22845248+mpass99@users.noreply.github.com>
Date: Tue, 19 Sep 2023 10:57:17 +0200
Subject: [PATCH] Fix WebSocket JSON schema

by changing the required attribute to be an array as described in the official documentation.
---
 api/websocket.schema.json | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/api/websocket.schema.json b/api/websocket.schema.json
index 0bae401..eaafdff 100644
--- a/api/websocket.schema.json
+++ b/api/websocket.schema.json
@@ -6,38 +6,36 @@
     {
       "properties": {
         "type": {
-          "const": "exit",
-          "required": true
+          "const": "exit"
         },
         "data": {
           "type": "integer",
-          "required": true,
           "minimum": 0,
           "maximum": 255
         }
       },
+      "required": ["type", "data"],
       "additionalProperties": false
     },
     {
       "properties": {
         "type": {
-          "enum": [ "stdout", "stderr", "error" ],
-          "required": true
+          "enum": [ "stdout", "stderr", "error" ]
         },
         "data": {
-          "type": "string",
-          "required": true
+          "type": "string"
         }
       },
+      "required": ["type", "data"],
       "additionalProperties": false
     },
     {
       "properties": {
         "type": {
-          "enum": [ "start", "timeout" ],
-          "required": true
+          "enum": [ "start", "timeout" ]
         }
       },
+      "required": ["type"],
       "additionalProperties": false
     }
   ]