springboot-web开发servlet容器的默认配置修改方式、切换其他servlet容器

servlet的默认配置修改方式有两种，第一直接在application.properties中修改，第二是注bean组件EmbeddedServletContainerCustomizer重写类里的方法即可，这个类可以修改不同servlet容器的公共配置，比如端口字符编码等等，我们先看一下类EmbeddedServletContainerCustomizer，如果同时设置配置文件和注册bean组件设置，注册bean组件修改配置的优先级要高

public interface EmbeddedServletContainerCustomizer {

	void customize(ConfigurableEmbeddedServletContainer container);

}
里面只有方法customize，这个方法是定制的意思，设定自己servlet的属性值，类ConfigurableEmbeddedServletContainer 可以设置很多共同属性，如下

public interface ConfigurableEmbeddedServletContainer extends ErrorPageRegistry {
	void setContextPath(String contextPath);
	void setDisplayName(String displayName);
	void setPort(int port);
	void setSessionTimeout(int sessionTimeout);
	void setSessionTimeout(int sessionTimeout, TimeUnit timeUnit);
	void setPersistSession(boolean persistSession);
	void setSessionStoreDir(File sessionStoreDir);
	void setAddre