diff --git a/repos/os/src/server/ram_fs/main.cc b/repos/os/src/server/ram_fs/main.cc index 08a4ca4dfa..d006f1f46e 100644 --- a/repos/os/src/server/ram_fs/main.cc +++ b/repos/os/src/server/ram_fs/main.cc @@ -107,7 +107,10 @@ class File_system::Session_component : public Session_rpc_object _process_packet_op(packet, *node); } - catch (Invalid_handle) { Genode::error("Invalid_handle"); } + catch (Invalid_handle) { + Genode::error("Invalid_handle"); + tx_sink()->acknowledge_packet(packet); + } } void _process_packets()