[pgpool-committers: 7802] pgpool: Fix backend_application_name cannot be changed by reloading.

[Tatsuo Ishii]

Fix backend_application_name cannot be changed by reloading.

The manual explicitly stats that it is possible to change
backend_application_name on the fly by reloading the configuration
file but the code set unnecessary restriction on that.

Branch
------
V4_2_STABLE

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

Modified Files
--------------
src/config/pool_config_variables.c | 20 +++++---------------
1 file changed, 5 insertions(+), 15 deletions(-)