1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge commit 'd5822a3ad0657040114cdc185c6387b9eb3a12b2' into 10.2

This commit is contained in:
Monty
2016-04-28 16:59:33 +03:00
61 changed files with 1007 additions and 181 deletions

View File

@ -517,6 +517,9 @@ int init_embedded_server(int argc, char **argv, char **groups)
if (my_thread_init())
return 1;
if (init_early_variables())
return 1;
if (argc)
{
argcp= &argc;