diff options
| author | gjoranv <gv@verizonmedia.com> | 2022-01-03 17:04:03 +0100 |
|---|---|---|
| committer | gjoranv <gv@verizonmedia.com> | 2022-01-03 17:04:03 +0100 |
| commit | a7906f5a9a2f31f92fee7696443e90f885ba62c7 (patch) | |
| tree | e3dca07c048b1eae2dd6713b9bce014df4de5b9a /config-model/src/main/resources | |
| parent | 3a3c8c75bda8889303f12ff5a09cbf44fc2d18b6 (diff) | |
Remove 'servlet' from rnc schema.
Diffstat (limited to 'config-model/src/main/resources')
| -rw-r--r-- | config-model/src/main/resources/schema/containercluster.rnc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/config-model/src/main/resources/schema/containercluster.rnc b/config-model/src/main/resources/schema/containercluster.rnc index b06bf0897cf..e8ff1721397 100644 --- a/config-model/src/main/resources/schema/containercluster.rnc +++ b/config-model/src/main/resources/schema/containercluster.rnc @@ -12,7 +12,6 @@ ContainerCluster = element container | jdisc { } ContainerServices = - Servlet* & SearchInContainer? & DocprocInContainer? & ProcessingInContainer? & @@ -136,18 +135,6 @@ Threadpool = element threadpool { element queue-size { xsd:nonNegativeInteger } } -# Servlet: - -Servlet = element servlet { - ComponentDefinition & - ServletConfig? & - element path { xsd:string { pattern = "\w[\w_/\-\.]*(\*)?" } } -} - -ServletConfig = element servlet-config { - anyElement+ -} - # SEARCH: SearchInContainer = element search { |