Alvaro Herrera <alvhe...@alvh.no-ip.org> writes: > Hmm, how about raising an error if multiple options are given targetting > the same GUC?
I don't see any reason to do that. The underlying configuration
files don't complain about duplicate entries, they just take the
last setting.
regards, tom lane
