[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.
Any authenticated user can defines its own bookmarks in the application. They
are similar to bookmarks in a browser but are dedicated to link into the
application and they are stored in the database (and so you'll get them from any
browser you use to connect to the application. They are available through the
bookmarks box, on the left of the screen.
To add a bookmark on the page you're seeing, simply click on the "bookmark this
page" link in the "manage bookmarks" dropdown-menu. You'll then be asked to give
it a title. Once created, it will appear in the bookmarks box.
In this dropdown-menu, the "pick existing bookmarks" link will show you a list
of bookmarks already defined by the other users of the application. If you are
interested by one of them, simply click the `[+]` sign to the left of it to add it
to your bookmarks.
The "edit bookmarks" link will show you a form to edit your current bookmarks,
for instance to change their title. If you are using share bookmarks (picked
from another user), those bookmarks won't appear in the form unless you're
allowed to modify them.
To remove a bookmark, simply click the `[-]` sign to the left of it.