Commit 89a9125b authored by unknown's avatar unknown
Browse files

Flush stderr before calling abort()

parent 70d5bb95
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -122,6 +122,7 @@ static void client_disconnect();
void die(const char *file, int line, const char *expr)
{
  fprintf(stderr, "%s:%d: check failed: '%s'\n", file, line, expr);
  fflush(stderr);
  abort();
}