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_...@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 <i...@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 _______________________________________________ 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
