httpResponse.setCharacterEncoding(page.getCharSet());
// send back the headers:
HttpHeaderOperation.sendHeaders(headers, httpResponse);
page.writeToOutputStream(httpResponse.getOutputStream());
// log this replay request
logReplayRequest(httpRequest, httpRequest.getParameter("sid"));
}