applications.webServer
Class WebServer

public class WebServer

implements Runnable

private final static String CONFIGURATION_PROPERTIES_DEFAULT_INDEX_FILENAME_KEY

private final static String CONFIGURATION_PROPERTIES_MAM_USER_OBSERVER_APPLET_KEY

private final static String CONFIGURATION_PROPERTIES_PORT_NUMBER

private final static String CONFIGURATION_PROPERTIES_ROOT_DIRECTORY_KEY

private static Element configurationRootElement

public final static String GUEST_ACCOUNT_STRING

private ServerSocket httpServerSocket

static Category Log

private Facility m_facility

private static URL m_urlSelf

private WebServerAgent m_webServerAgent

private final static String MAM_SERVLET_CLASS_ATTRIBUTE

private final static String MAM_SERVLET_CONFIGURATION_TAG_NAME

private final static String MAM_SERVLET_MAPPED_NAME_ATTRIBUTE

private final static String MAM_SERVLET_TAG_NAME

private MamId mamId

private Map mamUserActivityMap

private Hashtable mamUsers

private static Properties mimeTypes

private MamServletMapper moMamServletMapper

private Thread myThread

private static WebServerUriMapper uriMapper

private final static String WEBSERVER_CONFIGURATION_BRANCH

private final static String WEBSERVER_CONFIGURATION_BRANCH_MAPPED_NAME

private final static String WEBSERVER_CONFIGURATION_BRANCH_SOURCE

public final static String WEBSERVER_CONFIGURATION_FILENAME

private final static String WEBSERVER_CONFIGURATION_MIME_TYPE

private final static String WEBSERVER_CONFIGURATION_MIME_TYPE_EXTENSION

private final static String WEBSERVER_CONFIGURATION_MIME_TYPE_QUALIFIED_NAME

public WebServer(Facility facility)
            throws java.rmi.RemoteException

public void addMamUser(String mamUserName)

public String getCurrentUrl(String userName)

public String getDefaultIndexFilename()

public Facility getFacility()

public Date getLastMamUserActivity(String mamUserName)

public synchronized MamServlet getMamServlet(String uri)

protected MamServletMapper getMamServletMapper()

public Properties getMimeTypes()

public String getRootDirectory()

public WebServerUriMapper getUriMapper()

public synchronized URL getUrlToSelf()

public WebServerAgent getWebServerAgent()

protected void initializeMamServletMapper()

public void initializeUriMapper()

protected void initializeWebServerAgent()

private void loadConfigurationProperties()

public void logMamUserActivity(String mamUserName)

public static void main(String[] args)

public URL rewriteMappedFile(String file)

public void run()

public synchronized void setCurrentUrl(String userName, String currentUrl)

protected void setFacility(Facility facility)

protected void setMamServletMapper(MamServletMapper mapper)

protected void setUrlToSelf(URL urlSelf)

public void setWebServerAgent(WebServerAgent webServerAgent)