diff options
Diffstat (limited to 'src/protocol/child.c')
| -rw-r--r-- | src/protocol/child.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/protocol/child.c b/src/protocol/child.c index c12a5a2c1..ee7437770 100644 --- a/src/protocol/child.c +++ b/src/protocol/child.c @@ -141,6 +141,11 @@ bool stop_now = false; #endif /* + * If true, connection pool has been initialized. + */ +static bool connection_pool_initialized = false; + +/* * child main loop */ void @@ -223,6 +228,7 @@ do_child(int *fds) { child_exit(POOL_EXIT_AND_RESTART); } + connection_pool_initialized = true; /* * Open pool_passwd in child process. This is necessary to avoid the file @@ -1351,7 +1357,7 @@ child_will_go_down(int code, Datum arg) } /* let backend know now we are exiting */ - if (pool_connection_pool) + if (connection_pool_initialized) close_all_backend_connections(); } |