From 9c0831d18a52a76bddde62d38e9d4cfcb81fd3cd Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 18 Apr 2009 15:21:02 -0500
Subject: [PATCH] one little step forward with PL_signals.

---
 library/yap2swi/yap2swi.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c
index e8fedc709..3aa2536fe 100644
--- a/library/yap2swi/yap2swi.c
+++ b/library/yap2swi/yap2swi.c
@@ -1772,6 +1772,9 @@ X_API void PL_load_extensions(PL_extension *ptr)
 
 X_API int PL_handle_signals(void)
 {
+  if (EX) {
+    return -1;
+  }
   fprintf(stderr,"PL_handle_signals not implemented\n");
   return 0;
 }