diff options
Diffstat (limited to 'config-model/src/main/resources/schema/containercluster.rnc')
| -rw-r--r-- | config-model/src/main/resources/schema/containercluster.rnc | 3 |
1 files changed, 2 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..6e4346d96ee 100644 --- a/config-model/src/main/resources/schema/containercluster.rnc +++ b/config-model/src/main/resources/schema/containercluster.rnc @@ -64,7 +64,8 @@ Filtering = element filtering { } HttpServer = element server { - attribute port { xsd:nonNegativeInteger } & + attribute port { xsd:nonNegativeInteger }? & + attribute required { xsd:boolean }? & ComponentId & (Ssl | SslProvider)? & GenericConfig* |