- response.setDateHeader(HeaderNames.HEADER_DATE, controller.getTimestamp());
- response.setDateHeader(HeaderNames.HEADER_EXPIRES, 0);
- response.addHeader(HeaderNames.HEADER_PRAGMA, "no-cache");
- response.addHeader(HeaderNames.HEADER_CACHE_CONTROL, "private");
- response.addHeader(HeaderNames.HEADER_CACHE_CONTROL, "no-cache");
- response.addHeader(HeaderNames.HEADER_CACHE_CONTROL, "no-store");
- response.addHeader(HeaderNames.HEADER_CACHE_CONTROL, "max-age=0");
- response.addHeader(HeaderNames.HEADER_CACHE_CONTROL, "s-max-age=0");
+ response.setDateHeader(Headers.HEADER_DATE, handle.getTimestamp());
+ response.setDateHeader(Headers.HEADER_EXPIRES, 0);
+ response.addHeader(Headers.HEADER_PRAGMA, "no-cache");
+ response.addHeader(Headers.HEADER_CACHE_CONTROL, "private");
+ response.addHeader(Headers.HEADER_CACHE_CONTROL, "no-cache");
+ response.addHeader(Headers.HEADER_CACHE_CONTROL, "no-store");
+ response.addHeader(Headers.HEADER_CACHE_CONTROL, "max-age=0");
+ response.addHeader(Headers.HEADER_CACHE_CONTROL, "s-max-age=0");
+ if (handle.isZipped())
+ response.addHeader(Headers.HEADER_CONTENT_ENCODING, "gzip");