Eliom_config.server(3o) on Linux

The text 23895f053b95, as Debian 7 (Wheezy) shipped it.

The function get_default_hostname ()returns the hostname declared in the config file (<host defaulthostname="...">) or the default machine hostname.