0) { header("Location: /list/log/"); } else { // Set correct page reload target if ($_SESSION["userContext"] === "admin" && !empty($_GET["user"])) { if ($_GET["user"] != "system") { header("Location: /list/log/?user=" . $_GET["user"] . "&token=$token"); } else { header("Location: /list/log/?user=system&token=$token"); } } else { header("Location: /list/log/"); } } // Flush session messages unset($_SESSION["error_msg"]); unset($_SESSION["ok_msg"]); exit();