function web_controller_auth_logout() { lets_use('user_session'); user_session_write_session_cookie(null, null, -1); web_response_redirect('/'); }
function web_router_redirect($location) { web_response_redirect($location); }