public function redirect_to_html($url) { $this->iohandler->redirect($url); $this->iohandler->send_response(true); }