# File lib/openid/server.rb, line 696
      def set_redirect(url)
        @code = HTTP_REDIRECT
        @headers['location'] = url
      end