From b7fbd08f7aa3f679723a21d2aaad8faf029e6da5 Mon Sep 17 00:00:00 2001 From: "U-vsc-PC\\vsc" Date: Tue, 4 Mar 2014 12:03:14 +0000 Subject: [PATCH] signal handling --- library/dialect/swi/fli/swi.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/library/dialect/swi/fli/swi.c b/library/dialect/swi/fli/swi.c index d20715bc5..3cd130543 100755 --- a/library/dialect/swi/fli/swi.c +++ b/library/dialect/swi/fli/swi.c @@ -2428,7 +2428,11 @@ X_API int PL_thread_self(void) static int alertThread(int tid) { +#if _WIN32 + return pthread_kill(REMOTE_ThreadHandle(tid).pthread_handle, YAP_WINTIMER_SIGNAL) == 0; +#else return pthread_kill(REMOTE_ThreadHandle(tid).pthread_handle, YAP_ALARM_SIGNAL) == 0; +#endif } /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -