[pgpool-committers: 2955] pgpool: Fix reset query stuck problem.

[Tatsuo Ishii]

Fix reset query stuck problem.

When pool_read fails to read from frontend or pool_flush fails to
write to the frontend, report FRONTEND_ERROR, rather than ERROR to
disconnect and terminate pgpool child process to prevent the query
stuck problem.

Patch for pool_read by Usama, for pool_flush by Tatsuo.

Branch
------
master

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

Modified Files
--------------
src/utils/pool_stream.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)