Trouble with semaphore library

[Marc CHALAND]

Alexander Boettcher <boettcher at os.inf.tu-dresden.de>:
>
> There is one tricky situation if the wakeup message for a semaphore is
> received before the block message. This might happen if the thread
> waiting on that semaphore is preemted by the thread releasing the
> semaphore before it can send the message to the semaphore thread (see
> l4semaphore_down()).

I think what happens in my case is the mirror of that tricky situation
: wakeup message is received just after a releasetimed message.

I agree the correction I proposed is awful :).

Marc