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

          bear330 Bear created issue -
          elenst Elena Stepanova made changes -
          Field Original Value New Value
          Status Open [ 1 ] Confirmed [ 10101 ]
          elenst Elena Stepanova made changes -
          Component/s Platform RedHat [ 11302 ]
          Component/s Scripts & Clients [ 11002 ]
          Fix Version/s 10.0 [ 16000 ]
          Affects Version/s 10.0 [ 16000 ]
          Affects Version/s 5.5 [ 15800 ]
          Assignee Sergei Golubchik [ serg ]
          ratzpo Rasmus Johansson (Inactive) made changes -
          Sprint 10.0.22 [ 17 ]
          ratzpo Rasmus Johansson (Inactive) made changes -
          Rank Ranked higher
          serg Sergei Golubchik made changes -
          Status Confirmed [ 10101 ] In Progress [ 3 ]
          serg Sergei Golubchik made changes -
          Status In Progress [ 3 ] In Review [ 10002 ]
          serg Sergei Golubchik made changes -
          Status In Review [ 10002 ] Stalled [ 10000 ]
          serg Sergei Golubchik made changes -
          Status Stalled [ 10000 ] In Progress [ 3 ]
          serg Sergei Golubchik made changes -
          Fix Version/s 10.0.22 [ 19700 ]
          Fix Version/s 10.0 [ 16000 ]
          Resolution Fixed [ 1 ]
          Status In Progress [ 3 ] Closed [ 6 ]
          serg Sergei Golubchik made changes -
          Workflow MariaDB v3 [ 70777 ] MariaDB v4 [ 149422 ]

          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.