init: avoid upgrade of resources on exited child

Fixes #3184
2019-02-27 17:36:44 +01:00 · 2019-02-27 17:36:44 +01:00 · 47730f9a6e
parent a5d0f6a2af
commit 47730f9a6e
1 changed files with 4 additions and 0 deletions
--- a/repos/os/src/init/child.cc
+++ b/repos/os/src/init/child.cc
@ -239,6 +239,10 @@ void Init::Child::_apply_resource_upgrade(QUOTA &assigned, QUOTA const configure

 void Init::Child::apply_upgrade()
 {
+	/* pd_session_cap of exited child is invalid and unusable for transfers */
+	if (_exited)
+		return;
+
 	if (_resources.effective_ram_quota().value == 0)
 		warning(name(), ": no valid RAM quota defined");