$session_manager->delete($SID, true);
if (isset($session)) {
$session->reset();
// so session will not saved at redirect
}
$url = $_SERVER['SCRIPT_NAME'] . '?' . $_SERVER['QUERY_STRING'];
if (mb_stristr($url, '&SID=')) {
$url = mb_substr($url, 0, mb_strpos($url, '&SID='));
}
redirect_with_url($url);
}
}
// multi master implementation - BEGIN
$session_item = $environment->getSessionItem();
if ($session_item->issetValue('db_save_pid_in_cookie')) {
setcookie('db_pid', $environment->getDBPortalID(), 0, $environment->getConfiguration('cookiepath'), $environment->getConfiguration('domain'), 0);
$session_item->unsetValue('db_save_pid_in_cookie');
} elseif ($session_item->issetValue('db_renew_pid_in_cookie')) {
$cs_pid = 0;
if ($environment->inServer() or $environment->inPortal()) {
$cs_pid = $environment->getCurrentContextID();
} else {
$cs_pid = $environment->getCurrentPortalID();
}
setcookie('db_pid', $cs_pid, 0, $environment->getConfiguration('cookiepath'), $environment->getConfiguration('domain'), 0);
$session_item->unsetValue('db_renew_pid_in_cookie');
}
// multi master implementation - END
/************ language management **************/
$translator = $environment->getTranslationObject();
/************ session: clean search infos *******************/
