Hi Federico and Ian,
Sorry for flooding. I've read your bug report, Ian. If I understand correctly, SPIDER ignores the CONNECTION option. So 6268 and 5559 could be the same bug (both with incorrect title: in 6268, Elena's comment explains the problem).
This is bug of Spider's table discovery feature. I'll fix this bug soon. Please use "create table" statement with column definitions for now.
[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.
Did you try "repair table mysql.spider_tables"? Thanks, Kentoku 2014-05-27 21:09 GMT+09:00 Federico Razzoli <federico_raz@yahoo.it>:
Sorry for flooding. I've read your bug report, Ian. If I understand correctly, SPIDER ignores the CONNECTION option. So 6268 and 5559 could be the same bug (both with incorrect title: in 6268, Elena's comment explains the problem).
Federico
-------------------------------------------- El mar, 27/5/14, Ian Gilfillan <ian@mariadb.org> escribió:
Asunto: Re: [Maria-discuss] Repairing a SPIDER table Para: maria-discuss@lists.launchpad.net Fecha: martes, 27 de mayo, 2014 12:51
I found Spider tables extremely easy to corrupt when I was looking at Spider (see e.g. https://mariadb.atlassian.net/browse/MDEV-5559), so eventually stopped exploring.
Unhelpfully, this was in January and I can't remember what I used to do to recover, except that I used it often! Perhaps manual deletion?
ian
On 27/05/2014 12:29, Federico Razzoli wrote:
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
_______________________________________________
Mailing list: https://launchpad.net/~maria-discuss Post to : maria-discuss@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-discuss More help : https://help.launchpad.net/ListHelp
_______________________________________________ Mailing list: https://launchpad.net/~maria-discuss Post to : maria-discuss@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-discuss More help : https://help.launchpad.net/ListHelp
_______________________________________________ Mailing list: https://launchpad.net/~maria-discuss Post to : maria-discuss@lists.launchpad.net Unsubscribe : https://launchpad.net/~maria-discuss More help : https://help.launchpad.net/ListHelp