Details
-
Bug
-
Status: Closed (View Workflow)
-
Major
-
Resolution: Fixed
-
5.5(EOL), 10.0(EOL)
-
None
-
CentOS 7.1 x64
-
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
Field | Original Value | New Value |
---|---|---|
Status | Open [ 1 ] | Confirmed [ 10101 ] |
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 ] |
Sprint | 10.0.22 [ 17 ] |
Rank | Ranked higher |
Status | Confirmed [ 10101 ] | In Progress [ 3 ] |
Status | In Progress [ 3 ] | In Review [ 10002 ] |
Status | In Review [ 10002 ] | Stalled [ 10000 ] |
Status | Stalled [ 10000 ] | In Progress [ 3 ] |
Fix Version/s | 10.0.22 [ 19700 ] | |
Fix Version/s | 10.0 [ 16000 ] | |
Resolution | Fixed [ 1 ] | |
Status | In Progress [ 3 ] | Closed [ 6 ] |
Workflow | MariaDB v3 [ 70777 ] | MariaDB v4 [ 149422 ] |