se.entra.phantom.server.http

Class HttpResources

java.lang.Object

se.entra.phantom.server.http.HttpResources

public class HttpResources
extends Object

This is the resource manager for all resources for all HTTP sessions.

Author:

Christopher Mindus

Constructor Summary

Constructors

Constructor and Description
HttpResources(HttpWebServer webServer, int defaultCacheSize, int parsedCacheSize, boolean isFileSystemCaseSensitive) Creates the resource manager with the cache settings.

Method Summary

Modifier and Type	Method and Description
void	clearCaches() Clears the web server caches.
void	displayWebServerCache(VirtualCListBox list) Fills a list box with the cache information.
HttpWebServer	getWebServer() Gets the web server instance.
HttpResource	loadResource(HttpResourceParameters httpParams) Loads a resource.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HttpResources

public HttpResources(HttpWebServer webServer,
                     int defaultCacheSize,
                     int parsedCacheSize,
                     boolean isFileSystemCaseSensitive)

Creates the resource manager with the cache settings.

Method Detail

getWebServer

public HttpWebServer getWebServer()

Gets the web server instance.

loadResource

public HttpResource loadResource(HttpResourceParameters httpParams)
                          throws IOException

Loads a resource. If the resource is cached, a copy of one is returned and the last recently used table is updated.

Checking is done of the requested resource name of e.g. drive specification (i.e. no color is allowed in the resource name). The Path is also divided to see if a relative specification breaks the root (e.g. /dir/dir2/../../../file.txt). In these cases, an IOException is thrown.

Returns:

null if not found.

Throws:

IOException - for read resource failures.

displayWebServerCache

public void displayWebServerCache(VirtualCListBox list)

Fills a list box with the cache information.

clearCaches

public void clearCaches()

Clears the web server caches.