fiasco: silence ipc_send error messages

These diagnostic messages spam the log but can occur during the regular
component-destruction procedure.

Issue #3578
This commit is contained in:
Norman Feske 2019-12-11 14:44:57 +01:00 committed by Christian Helmuth
parent b7fbe65ff2
commit 5820ad8309

View File

@ -201,9 +201,6 @@ void Genode::ipc_reply(Native_capability caller, Rpc_exception_code exc,
snd_header.protocol_word,
snd_header.num_caps,
L4_IPC_SEND_TIMEOUT_0, &result);
if (L4_IPC_IS_ERROR(result))
error("ipc_send error ", Hex(L4_IPC_ERROR(result)), ", ignored");
}