1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Flush stderr before calling abort()

This commit is contained in:
msvensson@neptunus.(none)
2006-08-06 23:56:51 +02:00
parent bbe1217869
commit e33bd1a309

View File

@@ -122,6 +122,7 @@ static void client_disconnect();
void die(const char *file, int line, const char *expr) void die(const char *file, int line, const char *expr)
{ {
fprintf(stderr, "%s:%d: check failed: '%s'\n", file, line, expr); fprintf(stderr, "%s:%d: check failed: '%s'\n", file, line, expr);
fflush(stderr);
abort(); abort();
} }