From 6a063364da94ce4aa19bd793d5df1629a07bde9b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 23 Sep 2019 17:15:47 +0200
Subject: [PATCH] fs_rom: adaptation to added file-modification time

Issue #1784
---
 repos/os/src/server/fs_rom/main.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/server/fs_rom/main.cc b/repos/os/src/server/fs_rom/main.cc
index e0652c82b..2221af036 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<Rom_session>
 			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;
 			}
 		}
 };