The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/10/static/sql-alterserver.html Description:
I found that the alter server statement below does not work: ALTER SERVER foo OPTIONS (host 'foo', dbname 'foodb'); but this does: ALTER SERVER foo OPTIONS (set host 'foo', set dbname 'foodb');