The solution is to return POOL_END_WITH_FRONTEND_ERROR instead of
POOL_END when pool_flush on front-end socket fails
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 */
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
}