From 963b77bc27cb7b602a259246607204eb99ae24e7 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 28 Sep 2012 16:47:39 +0200
Subject: [PATCH] Noux: release binary dataspace in SYSCALL_EXECVE

Fixes #375.
---
 ports/src/noux/main.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ports/src/noux/main.cc b/ports/src/noux/main.cc
index aab5bf8e73..2bf9fe0f35 100644
--- a/ports/src/noux/main.cc
+++ b/ports/src/noux/main.cc
@@ -279,6 +279,8 @@ bool Noux::Child::syscall(Noux::Session::Syscall sc)
 				    absolute_path.base(), binary_ds, _sysio->execve_in.args,
 				    _sysio->execve_in.env);
 
+				_root_dir->release(absolute_path.base(), binary_ds);
+
 				try {
 					Child *child = new Child(child_env.binary_name(),
 					                         parent(),