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

MDEV-9593 - Print the real version in the error log

This commit is contained in:
Sergey Vojtovich
2016-08-26 16:39:32 +04:00
parent 670760d504
commit dd31e5c6ab
3 changed files with 29 additions and 22 deletions

View File

@ -107,6 +107,7 @@ extern "C" sig_handler handle_fatal_signal(int sig)
"diagnose the problem, but since we have already crashed, \n"
"something is definitely wrong and this may fail.\n\n");
set_server_version(server_version, sizeof(server_version));
my_safe_printf_stderr("Server version: %s\n", server_version);
if (dflt_key_cache)