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

mysql.server script not correctly handle --pid-file.

Details

    • 10.0.22

    Description

      If I start mysql with --pid-file argument:

      service mysql start --pid-file=/var/lib/mysql/1234.pid

      I can not stop it with
      service mysql stop --pid-file=/var/lib/mysql/1234.pid

      I got this error:
      MySQL server PID file could not be found!

      This is because parse_server_arguments function in script does not parse --pid-file, the variable $mysqld_pid_file_path will always be empty.

      Thanks.

      Attachments

        Activity

          This seems to be intentional. The comment in the script says

          other_args="$*"   # uncommon, but needed when called from an RPM upgrade action
                     # Expected: "--skip-networking --skip-grant-tables"
                     # They are not checked here, intentionally, as it is the responsibility
                     # of the "spec" file author to give correct arguments only.

          So, these arguments are only supported when mysql.server is invoked from a spec file, they shouldn't be used directly.

          serg Sergei Golubchik added a comment - This seems to be intentional. The comment in the script says other_args="$*" # uncommon, but needed when called from an RPM upgrade action # Expected: "--skip-networking --skip-grant-tables" # They are not checked here, intentionally, as it is the responsibility # of the "spec" file author to give correct arguments only. So, these arguments are only supported when mysql.server is invoked from a spec file, they shouldn't be used directly.

          On the other hand, this code is not used for years, I can as well remove support for mysql.server arguments completely.

          serg Sergei Golubchik added a comment - On the other hand, this code is not used for years, I can as well remove support for mysql.server arguments completely.

          People

            serg Sergei Golubchik
            bear330 Bear
            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.