[pgpool-committers: 385] 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
------
master

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

Modified Files
--------------
main.c |   38 ++++++++++++++++++++++++++------------
1 files changed, 26 insertions(+), 12 deletions(-)