mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-19 15:43:56 +00:00
committed by
Norman Feske
parent
671e36bc45
commit
a6fdd68154
@ -455,12 +455,6 @@ extern "C" {
|
|||||||
if (abstime_ms > currtime_ms)
|
if (abstime_ms > currtime_ms)
|
||||||
timeout = abstime_ms - currtime_ms;
|
timeout = abstime_ms - currtime_ms;
|
||||||
try {
|
try {
|
||||||
/*
|
|
||||||
* The timed semaphore supports a timeout minimum of 10 ms and
|
|
||||||
* logs a warning if the timeout is lower than the minimum. To
|
|
||||||
* prevent the warning, limit timeouts to >= 10 ms here.
|
|
||||||
*/
|
|
||||||
if (timeout != 0) timeout = max(timeout, 10U);
|
|
||||||
c->signal_sem.down(timeout);
|
c->signal_sem.down(timeout);
|
||||||
} catch (Timeout_exception) {
|
} catch (Timeout_exception) {
|
||||||
result = ETIMEDOUT;
|
result = ETIMEDOUT;
|
||||||
|
Reference in New Issue
Block a user