| java.lang.Object org.w3c.jigsaw.servlet.ServletPropertiesReader
ServletPropertiesReader | public class ServletPropertiesReader implements httpdPreloadInterface(Code) | | version: $Revision: 1.10 $ author: Benoît Mahé (bmahe@w3.org) |
ALLOW_DELETE_P | final public static String ALLOW_DELETE_P(Code) | | |
ARGS_SEPARATOR | final public static String ARGS_SEPARATOR(Code) | | |
SERVLET_BASE_P | final public static String SERVLET_BASE_P(Code) | | |
SERVLET_PROPS_FILE | final public static String SERVLET_PROPS_FILE(Code) | | |
getServletDirectoryReference | protected ResourceReference getServletDirectoryReference(httpd server)(Code) | | Get the servlet directory reference.
a ResourceReference |
initializeServlet | protected void initializeServlet(String name, httpd server, ResourceReference sdir)(Code) | | Initialize a servlet or create it if not found
Parameters: name - the servlet's name Parameters: server - the http server |
preload | public void preload(httpd server)(Code) | | Load the servlets configuration from servlets.properties.
Parameters: server - the http server to configure |
readProperties | protected void readProperties(File file)(Code) | | Read the servlets.properties file
Parameters: file - the servlets.properties file. |
|
|