From a7906f5a9a2f31f92fee7696443e90f885ba62c7 Mon Sep 17 00:00:00 2001 From: gjoranv Date: Mon, 3 Jan 2022 17:04:03 +0100 Subject: Remove 'servlet' from rnc schema. --- config-model/src/main/resources/schema/containercluster.rnc | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'config-model/src/main/resources') 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 { -- cgit v1.2.3