diff options
Diffstat (limited to 'config-model/src/main/resources/schema/containercluster.rnc')
| -rw-r--r-- | config-model/src/main/resources/schema/containercluster.rnc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-model/src/main/resources/schema/containercluster.rnc b/config-model/src/main/resources/schema/containercluster.rnc index ffa26bc6251..6e4346d96ee 100644 --- a/config-model/src/main/resources/schema/containercluster.rnc +++ b/config-model/src/main/resources/schema/containercluster.rnc @@ -65,6 +65,7 @@ Filtering = element filtering { HttpServer = element server { attribute port { xsd:nonNegativeInteger }? & + attribute required { xsd:boolean }? & ComponentId & (Ssl | SslProvider)? & GenericConfig* |