@ -91,20 +91,21 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -91,20 +91,21 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@ -112,53 +113,53 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -112,53 +113,53 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@ -174,6 +175,14 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -174,6 +175,14 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
returnthis.servletPath+"/*";
}
publicStringgetPath(Stringpath){
Stringprefix=getServletPrefix();
if(!path.startsWith("/")){
path="/"+path;
}
returnprefix+path;
}
publicStringgetServletPrefix(){
Stringresult=this.servletPath;
if(result.contains("*")){
@ -185,8 +194,26 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -185,8 +194,26 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
// no op to support Tomcat running as a traditional container (not embedded)
}
publicIntegergetPort(){
@ -205,6 +232,41 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -205,6 +232,41 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@ -230,6 +292,10 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -230,6 +292,10 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
returnthis.session;
}
publicvoidsetSession(Sessionsession){
this.session=session;
}
publicSslgetSsl(){
returnthis.ssl;
}
@ -238,6 +304,10 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -238,6 +304,10 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
this.ssl=ssl;
}
publicCompressiongetCompression(){
returnthis.compression;
}
publicJspServletgetJspServlet(){
returnthis.jspServlet;
}
@ -246,78 +316,12 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
@@ -246,78 +316,12 @@ public class ServerProperties implements EmbeddedServletContainerCustomizer, Ord
this.jspServlet=jspServlet;
}
publicMap<String,String>getContextParameters(){
returnthis.contextParameters;
}
publicvoidsetLoader(Stringvalue){
// no op to support Tomcat running as a traditional container (not embedded)