diff options
author | Øyvind Grønnesby <oyving@verizonmedia.com> | 2019-05-31 12:59:35 +0200 |
---|---|---|
committer | Øyvind Grønnesby <oyving@verizonmedia.com> | 2019-05-31 12:59:35 +0200 |
commit | 6e8f2db53f9d0ef4c4fbbd92c064f3b873f803e9 (patch) | |
tree | 8ae0020f81b95e0ee96e87a5fe4be4f0c8f637ea /config-model/src/main/resources/schema | |
parent | 04f350847ed8607c6b94585c44354d256373613e (diff) |
Require at least one <endpoint> inside of <endpoints>
Diffstat (limited to 'config-model/src/main/resources/schema')
-rw-r--r-- | config-model/src/main/resources/schema/deployment.rnc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/config-model/src/main/resources/schema/deployment.rnc b/config-model/src/main/resources/schema/deployment.rnc index ae5aec734e6..7b15a1c062d 100644 --- a/config-model/src/main/resources/schema/deployment.rnc +++ b/config-model/src/main/resources/schema/deployment.rnc @@ -75,7 +75,6 @@ Parallel = element parallel { Region* } - EndpointRegion = element region { text } @@ -87,5 +86,5 @@ Endpoint = element endpoint { } Endpoints = element endpoints { - Endpoint* + Endpoint+ } |