mirror of
https://github.com/postgres/postgres.git
synced 2025-06-10 09:21:54 +03:00
variables to it. More need to be converted, but I wanted to get this in before it conflicts with too much... Other than just centralising the text-to-int conversion for parameters, this allows the pg_settings view to contain a list of available options and allows an error hint to show what values are allowed.