man > DROP_SERVER(7)

📛 NAME

DROP_SERVER — remove a foreign server descriptor

🚀 Quick Reference

🎯 Use Case💻 Command📝 Description
Drop a serverDROP SERVER foo;Remove the foreign server named foo
Drop if it existsDROP SERVER IF EXISTS foo;No error if the server is missing
Drop with cascading removalDROP SERVER foo CASCADE;Also drop dependent objects (e.g., user mappings)
Drop with restrict (default)DROP SERVER foo RESTRICT;Refuse if any dependencies exist
Drop multiple serversDROP SERVER s1, s2;Remove several servers in one command

📜 Synopsis

DROP SERVER [ IF EXISTS ] name [, ...] [ CASCADE | RESTRICT ]

📖 Description

DROP SERVER removes an existing foreign server descriptor. To execute this command, the current user must be the owner of the server.

⚙️ Parameters

💡 Examples

DROP SERVER IF EXISTS foo;

🌐 Compatibility

DROP SERVER conforms to ISO/IEC 9075-9 (SQL/MED). The IF EXISTS clause is a PostgreSQL extension.

📚 See Also

CREATE SERVER (CREATE_SERVER(7)), ALTER SERVER (ALTER_SERVER(7))

DROP_SERVER(7)
📛 NAME 🚀 Quick Reference 📜 Synopsis 📖 Description ⚙️ Parameters 💡 Examples 🌐 Compatibility 📚 See Also

Generated by phpman v4.9.27 · Markdown · JSON · MCP Author: Che Dong Under GNU General Public License
2026-07-18 20:42 @2600:1f28:365:80b0:b91e:58eb:6587:15c8
CrawledBy CCBot/2.0 (https://commoncrawl.org/faq/)
Valid XHTML 1.0 Transitional!Valid CSS!
Enhanced by LLM: deepseek-v4-flash / taotoken.net / www.chedong.com - original format