mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 20:05:54 +00:00
parent
dc8cbbf022
commit
5e3d505ef4
@ -131,10 +131,6 @@ void Thread::_await_ipc_failed()
|
||||
user_arg_0(-1);
|
||||
_schedule();
|
||||
return;
|
||||
case SCHEDULED:
|
||||
PERR("failed to receive IPC");
|
||||
_stop();
|
||||
return;
|
||||
default:
|
||||
PERR("wrong thread state to cancel IPC");
|
||||
_stop();
|
||||
|
Loading…
x
Reference in New Issue
Block a user