name(); if (isset($_GET["r"])) { $u = logged_user(); if (!$u->is_anonymous()) $u->set_last_mark_date(); header("Location: " . make_forum_link_impl($id)); exit; } if (isset($_GET["pc"])) $page = (int)$_GET["pc"]; set_this_link("forum", array("id" => $id)); $feed = $forum->make_feed_head_links(); } catch(bad_parameters $e) { $error = "bad parameters"; } catch(forum_not_found $e) { $error = "forum not found"; } catch(db_exception $e) { $error = $e->html(); } output_head("forum", $title, $feed); ?>