fs_rom: adaptation to added file-modification time

Issue #1784
2019-09-23 17:15:47 +02:00 · 2019-09-23 17:15:47 +02:00 · 6a063364da
parent 99b632f86c
commit 6a063364da
1 changed files with 3 additions and 0 deletions
--- 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;
 			}
 		}
 };