|Did you know ...||Search Documentation:|
:- use_module(library(socket)).(can be autoloaded)
true, do not attempt to use any proxies to obtain the connection
true, set nodelay on the resulting socket using
proxy_error(tried(ResultList))is raised by mode (+,-,+) if proxies are defines by proxy_for_url/3 but no proxy can establsh the connection. ResultList contains one or more terms of the form
false(Proxy)for a hook that simply failed or
error(Proxy, ErrorTerm)for a hook that raised an exception.
library(http/http_proxy)defines a hook that allows to connect through HTTP proxies that support the