mirror of
https://github.com/MariaDB/server.git
synced 2026-04-26 10:15:29 +02:00
Portability fix
This commit is contained in:
parent
00d5ed8acd
commit
e0d3ed73a1
1 changed files with 2 additions and 0 deletions
|
|
@ -218,7 +218,9 @@ void write_core(int sig)
|
|||
{
|
||||
signal(sig, SIG_DFL);
|
||||
pthread_kill(pthread_self(), sig);
|
||||
#if defined(P_PID) && defined(P_MYID)
|
||||
/* On Solaris, the above kill is not enough */
|
||||
sigsend(P_PID,P_MYID,sig);
|
||||
#endif
|
||||
}
|
||||
#endif
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue