ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nova: stop submitting signals on dead sm caps 

Fixes #1877
This commit is contained in:
Alexander Boettcher 2016-02-01 20:50:17 +01:00 committed by Christian Helmuth
parent 73de12999d
commit f572cf8a05
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/base-nova/src/base/signal/platform.cc
View File

@ -35,7 +35,11 @@ void Signal_transmitter::submit(unsigned cnt)
for (unsigned i = 0; res == NOVA_OK && i < cnt; i++)
res = sm_ctrl(_context.local_name(), SEMAPHORE_UP);
if (res != NOVA_OK)
PDBG("submitting signal failed - error %u - context=0x%lx", res,
_context.local_name());
if (res == NOVA_OK)
return;
PDBG("submitting signal failed - error %u - context=0x%lx", res,
_context.local_name());
_context = Signal_context_capability();
}