Details
-
Bug
-
Status: Closed (View Workflow)
-
Major
-
Resolution: Duplicate
-
10.0.11
Description
After playing with MDEV-6269, I've got a damaged SPIDER table. I cannot find a way to repair it, so I believe it is a bug or a missing functionality:
MariaDB [test]> DROP TABLE user; |
ERROR 1051 (42S02): Unknown table 'test.user' |
MariaDB [test]> REPAIR TABLE user; |
+-----------+--------+----------+---------------------------------+ |
| Table | Op | Msg_type | Msg_text | |
+-----------+--------+----------+---------------------------------+ |
| test.user | repair | Error | Table 'test.user' doesn't exist | |
| test.user | repair | status | Operation failed | |
+-----------+--------+----------+---------------------------------+ |
2 rows in set (0.00 sec) |
Also, mysql.spider_tables is empty.
It seems that I am not the only one who had this problem:
https://lists.launchpad.net/maria-discuss/msg01626.html