[pgpool-committers: 1913] pgpool: Add new config parameter "print_user".

[Muhammad Usama]

Add new config parameter "print_user".

This adds current session user names to the log if true.  If there's
no session, it does not add user names even if print_user is true.
The default is false.

Branches
--------
EXCEPTION_MGR
master

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=576ecb883a2f9a1e8ddb155c04e6d6da7d20f9bf
Author: Tatsuo Ishii <ishii at postgresql.org>

Modified Files
--------------
doc/pgpool-en.html                 |   11 ++-
doc/pgpool-ja.html                 |   12 ++-
src/config/pool_config.c           |   13 +++
src/config/pool_config.l           |   13 +++
src/include/pool.h                 |   12 +++
src/include/pool_config.h          |    1 +
src/tools/pgmd5/Makefile.am        |    3 +-
src/tools/pgmd5/Makefile.in        |    2 +-
src/utils/pool_error.c             |  185 ++++++++++++++++++++++--------------
src/utils/pool_process_reporting.c |    5 +
10 files changed, 181 insertions(+), 76 deletions(-)