| java.lang.Object
 org.w3c.www.protocol.http.cache.CacheFilter
org.w3c.www.protocol.http.cache.push.PushCacheFilter
| PushCacheFilter | | public class PushCacheFilter extends CacheFilter (Code) | | PushCacheFilter
Based heavily on (much code stolen from) CacheFilter
The important differences are in the initialization where the
PushCacheListener is started, and in ingoingFilter where if
the requested resource is present in the cache and is a PUSH
resource, then the resource is returned immediately without
checking for expiry etc. This allows us to insert pages from
"virtual" web sites such as http://www.push.data/sensor1.html
author:
Paul Henshaw, The Fantastic Corporation, Paul.Henshaw@fantastic.com
version:
$Revision: 1.1 $
version:
$Id: PushCacheFilter.java,v 1.1 2001/10/03 15:00:46 ylafon Exp $ |
| DEFAULT_PORT_NUM | | final public static int DEFAULT_PORT_NUM(Code) | | Default port number to use if property value is not supplied
value is 9876
|
| PORT_NUM_P | | final public static String PORT_NUM_P(Code) | | Property name used to acquire port number for
PushCacheListener value is "org.w3c.www.protocol.http.cache.push.portnumber";
|
| canUseCache | | public boolean canUseCache(Request req)(Code) | | check if we can use the cache or not for this request
It marks the request as being not cachable if false.
Parameters:
a - request, the incoming client-side request a boolean, true if we can use the cache |
| ingoingFilter | | public Reply ingoingFilter(Request request) throws HttpException(Code) | | The request pre-processing hook.
Before each request is launched, all filters will be called back through
this method. They will generally set up additional request header
fields to enhance the request.
Parameters:
request - The request that is about to be launched. An instance of Reply if the filter could handle the request,or null if processing should continue normally.
exception:
HttpException - If the filter is supposed to fulfill therequest, but some error happened during that processing. |
| initialize | | public void initialize(HttpManager manager) throws PropRequestFilterException(Code) | | Almost identical to CacheFilter.initialize, but creates a
PushCacheStore instead of a CacheStore and additionaly
starts the PushCacheListener
|
|
|