public static class ServerProperties.Servlet extends Object
Constructor and Description |
---|
Servlet() |
Modifier and Type | Method and Description |
---|---|
String |
getApplicationDisplayName() |
Map<String,String> |
getContextParameters() |
String |
getContextPath() |
Encoding |
getEncoding() |
Jsp |
getJsp() |
Session |
getSession() |
boolean |
isRegisterDefaultServlet() |
void |
setApplicationDisplayName(String displayName) |
void |
setContextPath(String contextPath) |
void |
setRegisterDefaultServlet(boolean registerDefaultServlet) |
public String getContextPath()
public void setContextPath(String contextPath)
public String getApplicationDisplayName()
public void setApplicationDisplayName(String displayName)
public boolean isRegisterDefaultServlet()
public void setRegisterDefaultServlet(boolean registerDefaultServlet)
public Encoding getEncoding()
public Jsp getJsp()
public Session getSession()