diff options
| author | Jon Bratseth <jonbratseth@yahoo.com> | 2017-06-02 13:26:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-02 13:26:36 +0200 |
| commit | 93c37dfef7736994f7c03db74228f051a35ac8b2 (patch) | |
| tree | d1c7d9c72effe6bcb0bf6403c607490a2ea41420 /config-model/src/main/resources/schema | |
| parent | ebd4e82d2e3895ebbd72928feb7c36f55285ae2b (diff) | |
Revert "Revert "Bratseth/deployment delay""
Diffstat (limited to 'config-model/src/main/resources/schema')
| -rw-r--r-- | config-model/src/main/resources/schema/deployment.rnc | 24 |
1 files changed, 16 insertions, 8 deletions
diff --git a/config-model/src/main/resources/schema/deployment.rnc b/config-model/src/main/resources/schema/deployment.rnc index c8bd11d7184..d34255c7127 100644 --- a/config-model/src/main/resources/schema/deployment.rnc +++ b/config-model/src/main/resources/schema/deployment.rnc @@ -21,11 +21,19 @@ Staging = element staging { text } -Prod = - element prod { - attribute global-service-id { text }?, - element region { - attribute active { xsd:boolean }, - text - }* - } +Prod = element prod { + attribute global-service-id { text }? & + Region* & + Delay* +} + +Region = element region { + attribute active { xsd:boolean }, + text +} + +Delay = element delay { + attribute hours { xsd:long }? & + attribute minutes { xsd:long }? & + attribute seconds { xsd:long }? +} |