1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-05 13:16:09 +03:00

Merge 10.9 into 10.10

This commit is contained in:
Marko Mäkelä
2023-04-27 13:36:36 +03:00
31 changed files with 604 additions and 72 deletions

View File

@@ -575,6 +575,8 @@ int init_embedded_server(int argc, char **argv, char **groups)
if (ho_error != 0)
return 1;
my_timer_init(&sys_timer_info);
if (init_common_variables())
{
mysql_server_end();