From 349dccd46d30af8126c170056e21ea5b77e06e56 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 10 Feb 2012 10:09:55 +0100
Subject: [PATCH] Make signal test more robust wrt scheduling

---
 os/src/test/signal/main.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/os/src/test/signal/main.cc b/os/src/test/signal/main.cc
index 6f7606afc..7ed3d81b0 100644
--- a/os/src/test/signal/main.cc
+++ b/os/src/test/signal/main.cc
@@ -414,7 +414,11 @@ static void stress_test()
 	/* stop emitting signals */
 	printf("deactivate sender\n");
 	sender->idle();
-	timer.msleep(FINISH_IDLE_TIME);
+
+	while (handler->receive_cnt() < sender->submit_cnt()) {
+		printf("waiting for signals still in flight...");
+		timer.msleep(FINISH_IDLE_TIME);
+	}
 
 	printf("\n");
 	printf("sender submitted a total of %d signals\n", sender->submit_cnt());