| { | |
| "$schema": "http://json-schema.org/schema#", | |
| "title": "Schema for tee manager configuration", | |
| "definitions": { | |
| "uuid": { | |
| "type": "string", | |
| "pattern": "^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$" | |
| } | |
| }, | |
| "type": "object", | |
| "properties": { | |
| "application_uuids": { | |
| "type": "array", | |
| "items": { | |
| "$ref": "#/definitions/uuid" | |
| } | |
| } | |
| }, | |
| "required": [ | |
| "application_uuids" | |
| ], | |
| "additionalProperties": false | |
| } |