diff --git a/libports/src/lib/libc_fs/plugin.cc b/libports/src/lib/libc_fs/plugin.cc index 05b5589771..0a8e33c5d3 100644 --- a/libports/src/lib/libc_fs/plugin.cc +++ b/libports/src/lib/libc_fs/plugin.cc @@ -322,6 +322,10 @@ class Plugin : public Libc::Plugin } file_system()->close(context(fd)->node_handle()); + + Genode::destroy(Genode::env()->heap(), context(fd)); + Libc::file_descriptor_allocator()->free(fd); + return 0; }