/**
  * 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());
 }