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

[Tatsuo Ishii]

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.

Branch
------
master

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

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        |    2 +-
src/tools/pgmd5/Makefile.in        |    2 +-
src/utils/pool_error.c             |  185 ++++++++++++++++++++++--------------
src/utils/pool_process_reporting.c |    5 +
10 files changed, 181 insertions(+), 75 deletions(-)