if (body != null) {
removeHeader(HEADER_CONTENT_ENCODING);
try {
StringInputStream in = new StringInputStream(body, StringInputStream.Mode.STRIP);
GZIPInputStream gzipInputStream = new GZIPInputStream(in);
StringOutputStream out = new StringOutputStream(StringPool.ISO_8859_1);
StreamUtil.copy(gzipInputStream, out);
body(out.toString());
} catch (IOException ioex) {
throw new HttpException(ioex);
}
}
}