diff options
Diffstat (limited to 'verigraph/src/main/webapp/json/webclient.json')
-rw-r--r-- | verigraph/src/main/webapp/json/webclient.json | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/verigraph/src/main/webapp/json/webclient.json b/verigraph/src/main/webapp/json/webclient.json new file mode 100644 index 0000000..dfbc55e --- /dev/null +++ b/verigraph/src/main/webapp/json/webclient.json @@ -0,0 +1,22 @@ +{ + "$schema": "http://json-schema.org/draft-04/schema#", + "title": "Web client", + "description": "Polito Web Client", + "type": "array", + "items": { + "type": "object", + "properties": { + "webserver": { + "description": "Web server name", + "type": "string" + } + }, + "additionalProperties": false, + "required": [ + "webserver" + ] + }, + "minItems": 1, + "maxItems": 1, + "uniqueItems": true +}
\ No newline at end of file |