diff --git a/repos/os/src/server/vfs/node.h b/repos/os/src/server/vfs/node.h index f127debaa2..3eb8d4e8f2 100644 --- a/repos/os/src/server/vfs/node.h +++ b/repos/os/src/server/vfs/node.h @@ -378,6 +378,8 @@ struct Vfs_server::Directory : Node _handle->context = this; } + ~Directory() { _handle->ds().close(_handle); } + Node_space::Id file(Node_space &space, Vfs::File_system &vfs, Genode::Allocator &alloc,