70aa98d837
There were two bugs. First, the caller of Kernel::await_signal wasn't re-activated for scheduling. Second, the caller did not memorize that he doesn't wait on a receiver anymore which had bad side effects on further signal handling. Fix #1459 |
||
---|---|---|
.. | ||
base | ||
core | ||
test |