MariaDB KB doesn't describe the behavior of DROP SERVER IF EXISTS, so I expect it to work like DROP TABLE IF EXISTS. Which means that IF EXISTS should return a warning if the server doesn't exists. However, this is not the case:
MariaDB [(none)]> DROP SERVER IF EXISTS not_exists;
|
Query OK, 0 rows affected (0.01 sec)
|
|
MariaDB [(none)]> SHOW WARNINGS;
|
Empty set (0.00 sec)
|
|
MariaDB [(none)]> DROP SERVER not_exists;
|
ERROR 1477 (HY000): The foreign server name you are trying to reference does not exist. Data source error: not_exists
|
Bug
Minor
