DROP SERVER — Supprimer un descripteur de serveur distant
DROP SERVER [ IF EXISTS ] nom [, ...] [ CASCADE | RESTRICT ]
DROP SERVER supprime un descripteur de serveur distant existant. Pour exécuter cette commande, l'utilisateur courant doit être le propriétaire du serveur.
Ne génère pas d'erreur si le serveur n'existe pas. Un avertissement est émis dans ce cas.
Nom d'un serveur existant.
Supprime automatiquement les objets dépendant du serveur (tels que les correspondances d'utilisateur), ainsi que tous les objets dépendants de ces objets (voir Section 5.13, « Gestion des dépendances »).
Refuse de supprimer le serveur si des objets en dépendent. C'est le cas par défaut.
DROP
SEQUENCE
