[server] Make connection pooler configurable and set better default values
Drop the configuration connections-pool-size and add new configurations options:
* connections-pool-min-size. Set to 0 by default so we open connections only
when needed. This avoid opening min-size*processes connections at startup,
which is, it think, a good default.
* connections-pool-max-size. Set to 0 (unlimited) by default, so we move the
bottleneck to postgresql.
* connections-idle-timeout. Set to 10 minutes. I don't have arguments about
this except that this is the default in pgbouncer.
First of all, you can use this site as any web site by clicking on the
different links. The Logo on the top left of this page will lead you
to a start page from which you will be able to navigate to all the
data hosted on this site.
The bookmarks box on the left hand side provides some useful
shortcuts.
Most text is indexed and you can search all the content by typing
words in the search box.