From 47730f9a6ee787c469ea64034dffba6f91b9edf4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 27 Feb 2019 17:36:44 +0100
Subject: [PATCH] init: avoid upgrade of resources on exited child

Fixes #3184
---
 repos/os/src/init/child.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/os/src/init/child.cc b/repos/os/src/init/child.cc
index ce3eeb0df0..540327d202 100644
--- 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");