mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
Ugly merge! But I am not done yet - there are a number of things I need to fix
before I can push
This commit is contained in:
@ -69,7 +69,8 @@ int safe_mutex_lock(safe_mutex_t *mp,const char *file, uint line)
|
||||
}
|
||||
if (mp->count++)
|
||||
{
|
||||
fprintf(stderr,"safe_mutex: Error in thread libray: Got mutex at %s, line %d more than 1 time\n", file,line);
|
||||
fprintf(stderr,"safe_mutex: Error in thread libray: Got mutex at %s, \
|
||||
line %d more than 1 time\n", file,line);
|
||||
fflush(stderr);
|
||||
abort();
|
||||
}
|
||||
|
Reference in New Issue
Block a user