From a1b4e905abc78d73a78dfab1886f55862ac20af6 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 31 Jan 2017 14:08:00 +0100
Subject: [PATCH] Signal_receiver::wait_for_signal(): check for pending signal
 before blocking

Fixes #2267
---
 repos/base/src/lib/base/signal_common.cc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/repos/base/src/lib/base/signal_common.cc b/repos/base/src/lib/base/signal_common.cc
index 07e8f4d2ba..8486852e2b 100644
--- a/repos/base/src/lib/base/signal_common.cc
+++ b/repos/base/src/lib/base/signal_common.cc
@@ -120,12 +120,12 @@ Signal Signal_receiver::wait_for_signal()
 {
 	for (;;) {
 
-		/* block until the receiver has received a signal */
-		block_for_signal();
-
 		try {
 			return pending_signal();
 		} catch (Signal_not_pending) { }
+
+		/* block until the receiver has received a signal */
+		block_for_signal();
 	}
 }