public function unmark_flash($key)
{
if (empty($_SESSION['__ci_vars'])) {
return;
}
is_array($key) or $key = array($key);
foreach ($key as $k) {
if (isset($_SESSION['__ci_vars'][$k]) && !is_int($_SESSION['__ci_vars'][$k])) {
unset($_SESSION['__ci_vars'][$k]);
}
}
if (empty($_SESSION['__ci_vars'])) {
unset($_SESSION['__ci_vars']);
}
}