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.