* Create a complete server for following users, producing web pages and other contents.
*
* By opposition to simple_server, services created with make can take advantage
* of connexion information, e.g. to authenticate users, generate different contents based
* on user agent, etc.
*
* Example:
* The following extract defines a complete server, running on default port 8080,
* which displays a message depending on the address it receives and the user
* connecting.
*
* server = Server.make(parser .* -> id -> html("Page {__1}", <>Welcome to page {__1}, user {Server.string_user_of_connexion(id)}</>)) *
* You can further customize the server by setting its fields, in particular port * and netmask.
*
* Example:
* The following extract defines a server behaving as Server.make(my_parser) but
* accepting requests on port 80
*
* server = {Server.make(my_parser) with port = Server.default_port(80)} *
* See also:
* If you are only interested in producing one page, you can also use the simplified function
* one_page. Other functions provide servers with different features. For instance, if your
* application requires encrypted communications and authentication, you should take a look
* at function secure.
*
* See also:
* To attach information to users, see module UserContext and function Resource.in_context.
*
* By opposition to simple_server, services created with make can take advantage
* of connexion information, e.g. to authenticate users, generate different contents based
* on user agent, etc.
*
* Example:
* The following extract defines a complete server, running on default port 8080,
* which displays a message depending on the address it receives and the user
* connecting.
*
* server = Server.make(parser .* -> id -> html("Page {__1}", <>Welcome to page {__1}, user {Server.string_user_of_connexion(id)}</>)) *
* You can further customize the server by setting its fields, in particular port * and netmask.
*
* Example:
* The following extract defines a server behaving as Server.make(my_parser) but
* accepting requests on port 80
*
* server = {Server.make(my_parser) with port = Server.default_port(80)} *
* See also:
* If you are only interested in producing one page, you can also use the simplified function
* one_page. Other functions provide servers with different features. For instance, if your
* application requires encrypted communications and authentication, you should take a look
* at function secure.
*
* See also:
* To attach information to users, see module UserContext and function Resource.in_context.
Comments