Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-6293

Unable to repair a SPIDER table

        Details

        • Type: Bug
        • Status: Open
        • Priority: Major
        • Resolution: Unresolved
        • Affects Version/s: 10.0.11
        • Fix Version/s: None
        • Component/s: None
        • 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

            Gliffy Diagrams

              Attachments

                Activity

                There are no comments yet on this issue.

                  People

                  • Assignee:
                    Kentoku Kentoku
                    Reporter:
                    f_razzoli Federico Razzoli
                  • Votes:
                    0 Vote for this issue
                    Watchers:
                    3 Start watching this issue

                    Dates

                    • Created:
                      Updated: