[pgpool-committers: 398] pgpool: Modify read_pid_file() and write_pid_file(). write_pid_file()

[Tatsuo Ishii]

Modify read_pid_file() and write_pid_file().  write_pid_file() used to
use fopen() and friends, but it was pointed out that pid file might
not be written to persistent storage in erroneous system. Solution to
this is using fsync() althoug it's a little bit tricky to use with
fopen() and friends, so I decided to rewrite them to use open(2) and
friends.  Changes made to read_pid_file() as well, but this is rather
for consistency of coding.

Branch
------
V3_1_STABLE

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

Modified Files
--------------
main.c |   45 ++++++++++++++++++++++++++++++++++-----------
1 files changed, 34 insertions(+), 11 deletions(-)