Fix Poseidon JSON schema

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

See #1914 and openHPI/poseidon#456.
This commit is contained in:
Maximilian Paß
2023-09-19 11:11:56 +02:00
committed by Sebastian Serth
parent f150c793d5
commit 72009667a6

View File

@ -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
}
]