<%
String encodings = request.getHeader("Accept-Encoding"); PrintWriter outWriter = null;
if ((encodings != null) && (encodings.indexOf("gzip") != -1)) {
/* Get default OutputStream, wrap in GZIPOutputStream */
OutputStream defaultStream = response.getOutputStream();
outWriter = new PrintWriter(new GZIPOutputStream(defaultStream), false);
response.setHeader("Content-Encoding", "gzip");
}
else {
/* Do not send Zipped, get default OutputStream */
outWriter = new PrintWriter(response.getOutputStream(), false);
}
/* Rest of the page using outWriter.println() */
%>