Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
>> Or is that OK now with the "makeDefault" addition to SetConfigOption?
> Evidently not quite:
> peter=# show port;
> NOTICE: port is 6543
> SHOW VARIABLE
> peter=# reset all;
> RESET VARIABLE
> peter=# show port;
> NOTICE: port is 5432
> SHOW VARIABLE
I've fixed this.
regards, tom lane