function logout() { $id = $_SESSION['IID']; login_session_destroy(); login_cookie_destroy(); redirect("home?instanceID=" . $id); }
function logout() { login_session_destroy(); login_cookie_destroy(); redirect(CONFIG_INDEX_REDIRECT_TO); }