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

Make the version of Spider the same as the server version

Details

    Description

      Once upon a time, Spider was an external storage engine, and thus it was reasonable to have its own version number apart from MariaDB's one. However, now Spider is a part of the server. Change the Spider's version to be the server version, to avoid manually changing it at every release.

      Once the Spider version comes to be same as the one of the server, the variable spider_version is no longer necessary. Delete it.

      We also need to update docs (maybe by a separated issue).

      Attachments

        Issue Links

          Activity

            nayuta-yanagisawa Nayuta Yanagisawa (Inactive) added a comment - - edited Related fix in InnoDB: https://github.com/MariaDB/server/commit/036d091d2ef314bf5faab6c01e15c4030adee51e
            nayuta-yanagisawa Nayuta Yanagisawa (Inactive) added a comment - - edited holyfoot Please review: https://github.com/MariaDB/server/commit/52d2ebdfff240664085cc28e7a79fd3f3a9f58bd The change is confirmed by serg and ralf.gebhardt@mariadb.com .

            ok to push.

            holyfoot Alexey Botchkov added a comment - ok to push.

            People

              nayuta-yanagisawa Nayuta Yanagisawa (Inactive)
              nayuta-yanagisawa Nayuta Yanagisawa (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved:

                Git Integration

                  Error rendering 'com.xiplink.jira.git.jira_git_plugin:git-issue-webpanel'. Please contact your Jira administrators.