1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Fix for IO_CACHE.

Portability fixes.
This commit is contained in:
monty@hundin.mysql.fi
2001-11-28 03:47:15 +02:00
parent 3c057478c2
commit 5fedd2dda7
9 changed files with 166 additions and 133 deletions

View File

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