PublicShow sourcehttp_host.pl -- Obtain public server location

This library finds the public address of the running server. This can be used to construct URLs that are visible from anywhere on the internet. This module was introduced to deal with OpenID, where a request is redirected to the OpenID server, which in turn redirects to our server (see http_openid.pl).

The address is established from the settings http:public_host and http:public_port if provided. Otherwise it is deduced from the request.

Source http_public_url(+Request, -URL) is det
True when URL is an absolute URL for the current request. Typically, the login page should redirect to this URL to avoid losing the session.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source http_public_host_url(Arg1, Arg2)
Source http_current_host(Arg1, Arg2, Arg3, Arg4)
Source http_public_host(Arg1, Arg2, Arg3, Arg4)