[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.

     1

/***************************************/

     2

/* Manage view (views/startup.py)      */

     3

/***************************************/

     4

     5

table.startup {

     6

  width: 100%;

     7

}

     8

     9

/* table.startup td { */

    10

/*   padding: 0.1em 0.2em; */

    11

/* } */

    12

    13

table.startup td.addcol {

    14

  text-align: right;

    15

  width: 0.5em;

    16

}

    17

    18

table.startup th{

    19

  text-align: left;

    20

}