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

Improve process kill on windows

This commit is contained in:
msvensson@pilot.mysql.com
2008-03-12 11:32:18 +01:00
parent 4dd397e457
commit 0dba42cf7c
2 changed files with 17 additions and 10 deletions

View File

@ -85,6 +85,7 @@ static void die(const char* fmt, ...)
va_end(args);
if (int last_err= GetLastError())
fprintf(stderr, "error: %d, %s\n", last_err, strerror(last_err));
fflush(stderr);
exit(1);
}