maria-discuss team mailing list archive

[Federico Razzoli <federico_raz@xxxxxxxx>]

It seems I've played too much with bug 6269:

https://mariadb.atlassian.net/browse/MDEV-6269

As a result, a table has crashed:

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)

Errlog agrees:

140527 12:23:56 [ERROR] mysqld: Table './mysql/spider_tables' is marked as crashed and should be repaired

The question is: how should I repair it? mysql.spider_tables is already empty. REPAIR TABLE does not work. Can't find a variable to force recovery on restart. DROP and CREATE OR REPLACE are impossible, as shown above.

Is there another way?
Should I report this as a bug?

Regards
Federico