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

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

    Details

    • Type: Bug
    • Status: Confirmed
    • Priority: Major
    • Resolution: Unresolved
    • Affects Version/s: 10.0, 5.5
    • Fix Version/s: 10.0
    • Labels:
      None
    • Environment:
      CentOS 7.1 x64

      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.

        Gliffy Diagrams

          Attachments

            Activity

            There are no comments yet on this issue.

              People

              • Assignee:
                serg Sergei Golubchik
                Reporter:
                bear330 Bear
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated: