diff options
author | Martin Polden <mpolden@mpolden.no> | 2017-08-30 14:23:38 +0200 |
---|---|---|
committer | Martin Polden <mpolden@mpolden.no> | 2017-08-30 14:25:48 +0200 |
commit | 8748f2455e29085f7a78409ae8326c78e990ff1a (patch) | |
tree | c042bb6510a910234cea24177f3fde5441c4598c /config-model/src/main/resources/schema/deployment.rnc | |
parent | c1a93692a89586ea6ed51e682cf18f9eafe7d89b (diff) |
Read parallel tag from deployment.xml
Diffstat (limited to 'config-model/src/main/resources/schema/deployment.rnc')
-rw-r--r-- | config-model/src/main/resources/schema/deployment.rnc | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/config-model/src/main/resources/schema/deployment.rnc b/config-model/src/main/resources/schema/deployment.rnc index 3ce5e002e53..36897643964 100644 --- a/config-model/src/main/resources/schema/deployment.rnc +++ b/config-model/src/main/resources/schema/deployment.rnc @@ -25,7 +25,8 @@ Staging = element staging { Prod = element prod { attribute global-service-id { text }? & Region* & - Delay* + Delay* & + Parallel* } Region = element region { @@ -38,3 +39,7 @@ Delay = element delay { attribute minutes { xsd:long }? & attribute seconds { xsd:long }? } + +Parallel = element parallel { + Region* +} |