set_default_proxy

Description:

public void set_default_proxy (string? default_proxy)

Sets the default proxy on this, to be used for any URIs that don't match ignore_hosts or a proxy set via set_uri_proxy.

If default_proxy starts with "socks://", SimpleProxyResolver will treat it as referring to all three of the socks5, socks4a, and socks4 proxy types.

Parameters:

this	a SimpleProxyResolver
default_proxy	the default proxy to use