return false;
}
- if (handle.isZipped())
- response.addHeader(Headers.HEADER_CONTENT_ENCODING, "gzip");
-
Map<String,String> headers = handle.getAdditionalHeaders(request);
for (String name : headers.keySet())
response.addHeader(name, headers.get(name));
log.debug("{}: first up!", url);
+ if (handle.isZipped())
+ response.addHeader(Headers.HEADER_CONTENT_ENCODING, "gzip");
+
/** HTTP/1.1-Caching-Header richtig setzen!! */
response.setDateHeader(Headers.HEADER_LAST_MODIFIED, lastModified);