diff options
author | Jon Bratseth <bratseth@oath.com> | 2020-01-15 16:12:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-15 16:12:19 +0100 |
commit | 54f9f5a01ee741c88512dca5286a0f54e087a02a (patch) | |
tree | 9f7490fdff183eb81125fb3de2b3781bde1c9201 /config-model/src/main/resources | |
parent | 3a789e470822142d2a980985182a6c693ac5099d (diff) | |
parent | 566bd79f9881461dfccc24e41bffa317640da75c (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.rnc | 2 |
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* |