[pgpool-committers: 2051] pgpool: Add new directive "connect_timeout".

[Tatsuo Ishii]

Add new directive "connect_timeout".

This is for timeout value in milliseconds before giving up to connect
to backend using connect() system call in
connect_inet_domain_socket_by_port() which is used for health check
and creating backend connection.  Since we use non-blocking connect(),
we use select() if connect() returns "in progress" state. Before the
timeout value for select() was fixed 1 second, which is not long
enough for flaky network such as AWS.  So new knob is added to control
the timeout value.

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=7bfedf9e18bda187fb14d3f9219ce3524a656d22

Modified Files
--------------
doc/pgpool-en.html                         |   13 +++++++
doc/pgpool-ja.html                         |   11 ++++++
src/config/pool_config.c                   |   14 ++++++++
src/config/pool_config.l                   |   14 ++++++++
src/include/pool_config.h                  |    1 +
src/protocol/pool_connection_pool.c        |   53 ++++++++++++++++++----------
src/sample/pgpool.conf.sample              |    7 +++-
src/sample/pgpool.conf.sample-master-slave |    7 +++-
src/sample/pgpool.conf.sample-replication  |    7 +++-
src/sample/pgpool.conf.sample-stream       |    7 +++-
src/utils/pool_process_reporting.c         |    5 +++
11 files changed, 116 insertions(+), 23 deletions(-)