在文档中
7.4配置嵌入式tomcat servlet容器
springsourcedmserver嵌入了一个osgi增强版的tomcatservlet容器，以便为部署javaee和web包提供支持。您可以使用标准的apachetomcat配置来配置嵌入式servlet容器。主要区别在于，配置文件名为tomcat-server.xml，而不是server.xml。与其他dm server配置文件一样，tomcat-server.xml文件位于$server\u home/config目录中。
Spring嵌入式tomcat
spring项目中的$server\u home位置在哪里