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

InnoDB generates non-existing link to manual based on the server version

    XMLWordPrintable

Details

    • Bug
    • Status: Closed (View Workflow)
    • Minor
    • Resolution: Fixed
    • 10.0.2
    • 10.0.4
    • None
    • None

    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:

      #define REFMAN "http://dev.mysql.com/doc/refman/"       \
      		 
              IB_TO_STR(MYSQL_VERSION_MAJOR) "."              \
      		 
              IB_TO_STR(MYSQL_VERSION_MINOR) "/en/"

      Obviously, for 10.0 it ends up with a non-existing link:

      InnoDB: If that is the case, please refer to
      		 
      InnoDB: http://dev.mysql.com/doc/refman/10.0/en/error-creating-innodb.html
      		 
      130506 21:22:35 [ERROR] Plugin 'InnoDB' init function returned error.

      Attachments

        Activity

          People

            serg Sergei Golubchik
            elenst Elena Stepanova
            Votes:
            0 Vote for this issue
            Watchers:
            2 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.