aboutsummaryrefslogtreecommitdiffstats
path: root/config-model/src/main/resources
diff options
context:
space:
mode:
authorJon Bratseth <bratseth@oath.com>2020-01-15 16:12:19 +0100
committerGitHub <noreply@github.com>2020-01-15 16:12:19 +0100
commit54f9f5a01ee741c88512dca5286a0f54e087a02a (patch)
tree9f7490fdff183eb81125fb3de2b3781bde1c9201 /config-model/src/main/resources
parent3a789e470822142d2a980985182a6c693ac5099d (diff)
parent566bd79f9881461dfccc24e41bffa317640da75c (diff)
Merge pull request #11792 from vespa-engine/bratseth/dont-allow-wrong-webserviceport
Fail deployment if the wrong web service port is configured
Diffstat (limited to 'config-model/src/main/resources')
-rw-r--r--config-model/src/main/resources/schema/containercluster.rnc2
1 files changed, 1 insertions, 1 deletions
diff --git a/config-model/src/main/resources/schema/containercluster.rnc b/config-model/src/main/resources/schema/containercluster.rnc
index 142abb5c63b..ffa26bc6251 100644
--- a/config-model/src/main/resources/schema/containercluster.rnc
+++ b/config-model/src/main/resources/schema/containercluster.rnc
@@ -64,7 +64,7 @@ Filtering = element filtering {
}
HttpServer = element server {
- attribute port { xsd:nonNegativeInteger } &
+ attribute port { xsd:nonNegativeInteger }? &
ComponentId &
(Ssl | SslProvider)? &
GenericConfig*