mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
pthread: catch time out exception
This commit is contained in:
committed by
Christian Helmuth
parent
a11a17147f
commit
fcd76d10dd
@@ -510,6 +510,9 @@ extern "C" {
|
||||
c->signal_sem.down(timeout);
|
||||
} catch (Timeout_exception) {
|
||||
result = ETIMEDOUT;
|
||||
} catch (Genode::Nonblocking_exception) {
|
||||
errno = ETIMEDOUT;
|
||||
result = ETIMEDOUT;
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user