All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object
|
+----w3c.tools.store.AttributeHolder
|
+----w3c.tools.store.Resource
|
+----w3c.tools.store.ResourceFrame
|
+----w3c.jigsaw.resources.ResourceFilter
|
+----w3c.jigsaw.filters.GZIPFilter
A nifty usage for that filter, is to plug it on top of a
w3c.jigsaw.proxy.ProxyDirectory, in which case it
will compress the data when it flies out of the proxy.
protected static int ATTR_MIME_TYPES
protected MimeType types[]
public GZIPFilter()
public void setValue(int idx,
Object value)
public synchronized MimeType[] getMimeTypes()
public Reply outgoingFilter(Request request,
Reply reply) throws HTTPException
All Packages Class Hierarchy This Package Previous Next Index