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 |
Attachments
Activity
Field | Original Value | New Value |
---|---|---|
Priority | Trivial [ 5 ] | Minor [ 4 ] |
Status | Open [ 1 ] | Confirmed [ 10101 ] |
Fix Version/s | 10.1 [ 16100 ] | |
Assignee | Alexander Barkov [ bar ] |
Workflow | MariaDB v3 [ 73619 ] | MariaDB v4 [ 143865 ] |
I didn't check other IF [NOT] EXISTS clauses, so I don't know if the bug is only about DROP SERVER.