From d227db4574915c53492c142fb3510296fac487e1 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 6 Mar 2017 17:02:44 +0100 Subject: [PATCH] base: destruction order of binary/linker ROMs This patch destructs the environment sessions for the binary and the dynamic linker along with the other environment sessions to avoid a warning about reverting quota that occurs when attempting to close these sessions too late. --- repos/base/src/lib/base/child.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/base/src/lib/base/child.cc b/repos/base/src/lib/base/child.cc index afb8452ff9..cc8daf4ee0 100644 --- a/repos/base/src/lib/base/child.cc +++ b/repos/base/src/lib/base/child.cc @@ -784,6 +784,8 @@ Child::~Child() _discard_env_session(Env::cpu()); _discard_env_session(Env::pd()); _discard_env_session(Env::log()); + _discard_env_session(Env::binary()); + _discard_env_session(Env::linker()); /* * Remove dynamically created sessions from the child's ID space.