[pgpool-committers: 397] 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_0_STABLE

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

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