From 5820ad83095f200ba0d06a91803c26899c4059af Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 11 Dec 2019 14:44:57 +0100
Subject: [PATCH] fiasco: silence ipc_send error messages

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

Issue #3578
---
 repos/base-fiasco/src/lib/base/ipc.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/repos/base-fiasco/src/lib/base/ipc.cc b/repos/base-fiasco/src/lib/base/ipc.cc
index e0b8c4bff3..68e326025d 100644
--- a/repos/base-fiasco/src/lib/base/ipc.cc
+++ b/repos/base-fiasco/src/lib/base/ipc.cc
@@ -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");
 }