$url . '-' . $_SESSION['token'], "No" => $no_url); require("tpl/general/choice.php"); } } function token_clear() { global $url, $args; if (isset($_SESSION['token']) && $_SESSION['token'] != $args[count($args) - 1]) unset($_SESSION['token']); } function assert_redir($a, $u) { if (!$a) { header("Location: $u"); die(); } } function assert_error($a, $e, $t = "") { global $title; if (!$a) { if (!isset($title) or $t != "") { $title = ($t == "" ? "Error" : "Error : $t"); } $error = $e; require("tpl/general/empty.php"); die(); } }