X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=kern%2Fsignal.c;h=513efc28795f43ed1af1719dcba080b6e5f8d98c;hb=58298d38ce938cac4cae47b3647cc7787b04e392;hp=0af4f3992510ac07861bf7af9622026c0391c859;hpb=d6f35150fc5cdd120673ee4e245f28bac51e1d7a;p=bertos.git

diff --git a/kern/signal.c b/kern/signal.c
index 0af4f399..513efc28 100755
--- a/kern/signal.c
+++ b/kern/signal.c
@@ -66,6 +66,9 @@
 
 /*
  * $Log$
+ * Revision 1.6  2004/08/14 19:37:57  rasky
+ * Merge da SC: macros.h, pool.h, BIT_CHANGE, nome dei processi, etc.
+ *
  * Revision 1.5  2004/08/04 21:50:33  bernie
  * Add extensive documentation.
  *
@@ -89,6 +92,7 @@
 #include "proc.h"
 #include "proc_p.h"
 #include "hw.h"
+#include <drv/kdebug.h>
 
 // FIXME
 #if CONFIG_KERN_SIGNALS
@@ -127,6 +131,10 @@ sigset_t sig_wait(sigset_t sigs)
 		/* go to sleep and proc_schedule() another process */
 		CurrentProcess->sig_wait = sigs;
 		proc_schedule();
+
+		/* When we come back here, a signal must be arrived */
+		ASSERT(!CurrentProcess->sig_wait);
+		ASSERT(CurrentProcess->sig_recv);
 	}
 
 	/* Signals found: clear them and return */