} else {
if (!empty($_SESSION["notification"]["message"])) {
print "<tr><td>";
log_notification_render();
print "</td></tr>";
}
}
/*
Draw page data
*/
if ($page_valid) {
// HTML-formatted output
print "<tr><td id=\"data_td_outer\">";
print "<table id=\"data_table_inner\"><tr>";
print "<td id=\"data_td_inner\">";
$page_obj->render_html();
print "<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br></td>";
print "</tr></table>";
print "</td></tr>";
} else {
// padding
print "<tr><td id=\"data_td_outer\">";
print "<table id=\"data_table_inner\">";
print "<td id=\"data_td_inner\">";
print "<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br></td>";
print "</tr></table>";
print "</td></tr>";
}
// save query string, so the user can return here if they login. (providing none of the pages are in the user/ folder, as that will break some stuff otherwise.)
if (!preg_match('/^user/', $page)) {
$_SESSION["login"]["previouspage"] = $_SERVER["QUERY_STRING"];
