[pgpool-committers: 5547] pgpool: Add new configuration option ssl_prefer_server_ciphers

[Muhammad Usama]

Add new configuration option ssl_prefer_server_ciphers

Add the new setting "ssl_prefer_server_ciphers" to let users configure if they
want client's or server's cipher order to take preference.

Branch
------
V3_5_STABLE

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=4c6d5c3914515b4f692bca816155f9b447b7fceb

Modified Files
--------------
src/config/pool_config.c                   | 447 +++++++++++++++--------------
src/config/pool_config.l                   |  17 ++
src/include/pool_config.h                  |   2 +
src/sample/pgpool.conf.sample              |   4 +
src/sample/pgpool.conf.sample-master-slave |   4 +
src/sample/pgpool.conf.sample-replication  |   4 +
src/sample/pgpool.conf.sample-stream       |   4 +
src/tools/pgmd5/pool_config.c              |  44 ++-
src/utils/pool_process_reporting.c         |   5 +
src/utils/pool_ssl.c                       |   3 +-
10 files changed, 309 insertions(+), 225 deletions(-)