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