From fcd76d10dda5eddce19357bc8ae895de925e7a4d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 16 Jan 2014 14:15:13 +0100
Subject: [PATCH] pthread: catch time out exception

---
 libports/src/lib/pthread/thread.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libports/src/lib/pthread/thread.cc b/libports/src/lib/pthread/thread.cc
index e8d64e1495..083a103a60 100644
--- a/libports/src/lib/pthread/thread.cc
+++ b/libports/src/lib/pthread/thread.cc
@@ -510,6 +510,9 @@ extern "C" {
 				c->signal_sem.down(timeout);
 			} catch (Timeout_exception) {
 				result = ETIMEDOUT;
+			} catch (Genode::Nonblocking_exception) {
+				errno  = ETIMEDOUT;
+				result = ETIMEDOUT;
 			}
 		}