Details
-
Bug
-
Status: Confirmed (View Workflow)
-
Minor
-
Resolution: Unresolved
-
10.1(EOL)
-
None
-
None
Description
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 |