diff --git a/repos/os/src/server/fs_rom/main.cc b/repos/os/src/server/fs_rom/main.cc index e0652c82b2..2221af0363 100755 --- a/repos/os/src/server/fs_rom/main.cc +++ b/repos/os/src/server/fs_rom/main.cc @@ -471,6 +471,9 @@ class Fs_rom::Rom_session_component : public Rpc_object case File_system::Packet_descriptor::READ_READY: warning("discarding strange READ_READY acknowledgement"); return; + case File_system::Packet_descriptor::WRITE_TIMESTAMP: + warning("discarding strange WRITE_TIMESTAMP acknowledgement"); + return; } } };