redirect_connection_factory.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
use uri = "uri"

interface ref RedirectConnectionFactory
  """
  Creates an HTTPClientConnection to a redirect target. Called by
  RedirectFollower on cross-origin redirects — same-origin redirects reuse
  the existing connection.
  """
  fun ref apply(target: uri.URI val): HTTPClientConnection
    """
    Return a new connection to `target`.
    """