From 72009667a601511c6c79d8a5073d6b0436fe0dbc 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 11:11:56 +0200
Subject: [PATCH] Fix Poseidon JSON schema

that included a wrong usage of the `required` attribute.

See #1914 and openHPI/poseidon#456.
---
 lib/runner/backend-output.schema.json | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/lib/runner/backend-output.schema.json b/lib/runner/backend-output.schema.json
index 0bae4019..eaafdff8 100644
--- a/lib/runner/backend-output.schema.json
+++ b/lib/runner/backend-output.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
     }
   ]