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

          Transition Time In Source Status Execution Times
          Elena Stepanova made transition -
          Open Confirmed
          		2d 6h 27m 1
          Sergei Golubchik made transition -
          Confirmed In Progress
          		86d 6h 13m 1
          Sergei Golubchik made transition -
          In Progress In Review
          		2h 47m 1
          Sergei Golubchik made transition -
          In Review Stalled
          		5d 21h 47m 1
          Sergei Golubchik made transition -
          Stalled In Progress
          		3s 1
          Sergei Golubchik made transition -
          In Progress Closed
          		2h 6m 1

          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.