/** * user logout. * * FIXME: * by pure lazyness, logout is handled by a GET method. it should be * POST (and in a perfect REST world, maybe event a DELETE on a session * resource). */ protected function GET_logout() { User::current_is(NULL); $this->flash['info'] = t("You're logged out."); global $router; $this->view->redirect_to($router->root_url()); }