[MDEV-4492] InnoDB generates non-existing link to manual based on the server version Created: 2013-05-07 Updated: 2013-08-13 Resolved: 2013-08-13 |
|
| Status: | Closed |
| Project: | MariaDB Server |
| Component/s: | None |
| Affects Version/s: | 10.0.2 |
| Fix Version/s: | 10.0.4 |
| Type: | Bug | Priority: | Minor |
| Reporter: | Elena Stepanova | Assignee: | Sergei Golubchik |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Issue Links: |
|
||||
| Description |
|
I'm not sure if it's going to be fixed by InnoDB merge, so filing just in case. InnoDB generates links to the manual based on the server version:
Obviously, for 10.0 it ends up with a non-existing link:
|
| Comments |
| Comment by Elena Stepanova [ 2013-08-09 ] | ||||||
|
It hasn't changed after the merge, and it's a bit embarrassing, especially since the links now appear even in the client, in warning messages (see below). I'm not setting it as a blocker for 10.0.4 release because it's not, but if there is a quick fix or a workaround, it would be nice to apply it. If not, then lets move it to the next release. MariaDB [test]> create table innodb_table_monitor (i int); MariaDB [test]> show warnings;
--------
-------- |