diff options
| author | Muhammad Usama | 2016-02-22 12:23:46 +0000 |
|---|---|---|
| committer | Muhammad Usama | 2016-02-23 12:21:32 +0000 |
| commit | 056c48cb7400d3e2b22a775f0255cded462c2d00 (patch) | |
| tree | 21e0c2da13e388bdc66b4a58a6d39a30ba1cf5d3 | |
| parent | 131bd3c0361d287c2c56d890aa683ff64cb2dad2 (diff) | |
Yet another reset query stuck problem fix. [pgpool-general: 4265]V3_0_STABLE
The solution is to return POOL_END_WITH_FRONTEND_ERROR instead of
POOL_END when pool_flush on front-end socket fails
| -rw-r--r-- | pool_process_query.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pool_process_query.c b/pool_process_query.c index e821f001a..db0931ec2 100644 --- a/pool_process_query.c +++ b/pool_process_query.c @@ -930,7 +930,7 @@ POOL_STATUS wait_for_query_response(POOL_CONNECTION *frontend, POOL_CONNECTION * if (pool_flush_it(frontend) < 0) { pool_error("wait_for_query_response: frontend error occured while waiting for backend reply"); - return POOL_END; + return POOL_END_WITH_FRONTEND_ERROR; } } else /* Protocol version 2 */ @@ -951,7 +951,7 @@ POOL_STATUS wait_for_query_response(POOL_CONNECTION *frontend, POOL_CONNECTION * if (pool_flush_it(frontend) < 0) { pool_error("wait_for_query_response: frontend error occured while waiting for backend reply"); - return POOL_END; + return POOL_END_WITH_FRONTEND_ERROR; } #endif } |
