public static function redirect_to_url($url) { visitor::redirect_to_url($url); throw new action_return(); }