1:- module(conf_localhost, []).
   2:- use_module(library(settings)).
   3
   4/** <module> Configure HTTP to stay on localhost
   5
   6If you login, the system will redirect  you to its public address. I.e.,
   7if you connected to  http://localhost:3020/  it   will  redirect  you to
   8http://my.domain.org:3020/. This can be undesirable  on e.g., a notebook
   9that is not always connected to the   internet and/or may change address
  10and/or may be behind a firewall. You   can disable redirection using the
  11settings below. These settings may also be   necessary  if the server is
  12behind a proxy.
  13
  14@see network.pl for changing the port
  15*/
  16
  17:- set_setting_default(http:public_host, localhost).
  18:- set_setting_default(http:public_port, setting(http:port)).