[MDEV-26282] Make the version of Spider the same as the server version Created: 2021-07-30 Updated: 2023-08-07 Resolved: 2022-06-08 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | Storage Engine - Spider |
| Fix Version/s: | 10.9.2, 10.10.0 |
| Type: | Task | Priority: | Critical |
| Reporter: | Nayuta Yanagisawa (Inactive) | Assignee: | Nayuta Yanagisawa (Inactive) |
| Resolution: | Done | Votes: | 0 |
| Labels: | None | ||
| Issue Links: |
|
||||||||
| 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). |
| Comments |
| Comment by Nayuta Yanagisawa (Inactive) [ 2022-05-25 ] |
|
Related fix in InnoDB: https://github.com/MariaDB/server/commit/036d091d2ef314bf5faab6c01e15c4030adee51e |
| Comment by Nayuta Yanagisawa (Inactive) [ 2022-05-25 ] |
|
holyfoot Please review: https://github.com/MariaDB/server/commit/52d2ebdfff240664085cc28e7a79fd3f3a9f58bd The change is confirmed by serg and ralf.gebhardt@mariadb.com. |
| Comment by Alexey Botchkov [ 2022-06-07 ] |
|
ok to push. |