Details
-
Type:
Bug
-
Status: Open (View Workflow)
-
Priority:
Major
-
Resolution: Unresolved
-
Affects Version/s: 10.0.11
-
Fix Version/s: 10.0
-
Component/s: Storage Engine - Spider
-
Labels:
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