1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge from 4.1: fix for bug #7285 (embedded server)

This commit is contained in:
georg@beethoven.site
2004-12-30 17:17:21 +01:00
parent 551456b30c
commit 448d453ac1
2 changed files with 3 additions and 1 deletions

View File

@ -158,7 +158,8 @@ int STDCALL mysql_server_init(int argc __attribute__((unused)),
(void) signal(SIGPIPE, SIG_IGN);
#endif
#ifdef EMBEDDED_LIBRARY
result= init_embedded_server(argc, argv, groups);
if (argc > -1)
result= init_embedded_server(argc, argv, groups);
#endif
}
#ifdef THREAD