[pgpool-committers: 7905] pgpool: Add support for log time stamp with milliseconds.

[Tatsuo Ishii]

Add support for log time stamp with milliseconds.

Branch
------
master

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

Modified Files
--------------
doc.ja/src/sgml/connection-pooling.sgml | 10 ++++++----
doc/src/sgml/connection-pooling.sgml    |  7 ++++++-
src/utils/error/elog.c                  | 27 ++++++++++++++++++++++++---
3 files changed, 36 insertions(+), 8 deletions(-)