-- https://dev.mysql.com/doc/refman/5.7/en/drop-server.html

-- DROP SERVER [ IF EXISTS ] server_name


DROP SERVER IF EXISTS server_name;
DROP SERVER server_name;