DROP SERVER removes an existing foreign server descriptor. To execute this command, the current user must be the owner of the server.
Do not throw an error if the server does not exist. A notice is issued in this case.
The name of an existing server.
Automatically drop objects that depend on the server (such as user mappings).
Refuse to drop the server if any objects depend on it. This is the default.
If you see anything in the documentation that is not correct, does not match your experience with the particular feature or requires further clarification, please use this form to report a documentation issue.