From 9c278d6b8f108070e007b723170a4cb9cd53c7b1 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 22 Aug 2012 16:05:04 +0200
Subject: [PATCH] libc_fs: release libc file descriptor in 'close()'

Fixes #334.
---
 libports/src/lib/libc_fs/plugin.cc | 4 ++++
 1 file changed, 4 insertions(+)

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;
 		}