[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.
.. -*- coding: utf-8 -*-
.. role:: raw-html(raw)
:format: html
Flux RSS
--------
RSS est une technologie très utile qui peut être utilisée de manière très
générique sur ce site. N'importe quel résultat de requête peut-être présenté
comme un flux RSS. Vous pouvez donc ensuite connecter ce flux à n'importe quel
lecteur RSS pour suivre l'activité de ce cite. Par exemple pour avoir les
derniers changements sous forme de flux RSS:
:raw-html:`<p><a class="reference"
href="../view?vid=rss&rql=Any+X%2CM+WHERE+X+modification_date+M+ORDERBY+M+DESC+LIMIT+30"><img
alt="rss" src="../data/rss.png"> latest changes</img></a></p>`