HttpServletResponse response, String title, Connection connection,
WikiPageEditBean page) throws ServletException, IOException {
// get revision id to load:
int req_oldid = getParam_oldid(request);
RevisionResult result = getRevision(connection, title, req_oldid, namespace);
page.addStats(result.stats);
if (result.connect_failed) {
setParam_error(request, "ERROR: DB connection failed");
showEmptyPage(request, response, page);
return;