Alexander Kukushkin <cyberdemn(at)gmail(dot)com> writes:
> IMO is totally wrong, because the actual value didn't change: it was an
> empty string in the config and now it remains an empty string due to the
> default value in the guc.c
I can't get very excited about that. The existing message about
"parameter \"%s\" cannot be changed without restarting the server"
was emitted without regard to that fine point, and nobody has
complained about it.
regards, tom lane