diff options
author | Jon Bratseth <bratseth@verizonmedia.com> | 2020-01-15 14:34:45 +0100 |
---|---|---|
committer | Jon Bratseth <bratseth@verizonmedia.com> | 2020-01-15 14:34:45 +0100 |
commit | 566bd79f9881461dfccc24e41bffa317640da75c (patch) | |
tree | 52fe65caeb506952417b42bb13a07ac9497a403c /config-model/src/main/resources/schema | |
parent | f666777e6494961cfc1aa36fd25f434874644b21 (diff) |
Allow omitting server port to get default
Diffstat (limited to 'config-model/src/main/resources/schema')
-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* |