1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00
This commit is contained in:
monty@hundin.mysql.fi
2001-11-22 14:40:38 +02:00
10 changed files with 62 additions and 23 deletions

View File

@ -218,5 +218,9 @@ void write_core(int sig)
{
signal(sig, SIG_DFL);
pthread_kill(pthread_self(), sig);
#if defined(P_MYID)
/* On Solaris, the above kill is not enough */
sigsend(P_PID,P_MYID,sig);
#endif
}
#endif