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; } }