mirror of
https://github.com/MariaDB/server.git
synced 2026-05-06 15:15:34 +02:00
Merge branch '10.0' into 10.1
This commit is contained in:
commit
8e15768731
180 changed files with 10539 additions and 2460 deletions
|
|
@ -1564,8 +1564,10 @@ static my_bool get_pidfile(MYSQL *mysql, char *pidfile)
|
|||
|
||||
if (mysql_query(mysql, "SHOW VARIABLES LIKE 'pid_file'"))
|
||||
{
|
||||
my_printf_error(0, "query failed; error: '%s'", error_flags,
|
||||
mysql_error(mysql));
|
||||
my_printf_error(mysql_errno(mysql),
|
||||
"The query to get the server's pid file failed,"
|
||||
" error: '%s'. Continuing.", error_flags,
|
||||
mysql_error(mysql));
|
||||
}
|
||||
result = mysql_store_result(mysql);
|
||||
if (result)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue