Peter Eisentraut <peter_e(at)gmx(dot)net> writes:> Tom Lane writes:>> What should the option be called?
> If you accept the Linux Standards Base as a precedent for the other> options, it should be "reload".
Works for me.
regards, tom lane