From e9762ee25f44ef4fec1fa4669595c3888bef04f4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 11 Oct 2019 08:31:44 +0200
Subject: [PATCH] vfs: 'Rtc_file_system::close' for watch handle

The default implementation of this method throws an exception.
---
 repos/os/src/lib/vfs/rtc_file_system.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/src/lib/vfs/rtc_file_system.h b/repos/os/src/lib/vfs/rtc_file_system.h
index c1af968a87..c7db29acc2 100644
--- a/repos/os/src/lib/vfs/rtc_file_system.h
+++ b/repos/os/src/lib/vfs/rtc_file_system.h
@@ -157,6 +157,12 @@ class Vfs::Rtc_file_system : public Single_file_system
 			catch (Genode::Out_of_ram)  { return WATCH_ERR_OUT_OF_RAM;  }
 			catch (Genode::Out_of_caps) { return WATCH_ERR_OUT_OF_CAPS; }
 		}
+
+		void close(Vfs_watch_handle *handle) override
+		{
+			Genode::destroy(handle->alloc(),
+			                static_cast<Registered_watch_handle *>(handle));
+		}
 };
 
 #endif /* _INCLUDE__VFS__RTC_FILE_SYSTEM_H_ */