From 648539a513809fb1e1b5882ad4e0fb78bc54b3b2 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 12 Jun 2018 15:49:17 +0200
Subject: [PATCH] init: don't report abandoned children

This is a fixup of "base: fix destruction of async env sessions".
---
 repos/os/src/init/child.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/os/src/init/child.cc b/repos/os/src/init/child.cc
index f21732048..559461caa 100644
--- a/repos/os/src/init/child.cc
+++ b/repos/os/src/init/child.cc
@@ -317,6 +317,9 @@ void Init::Child::apply_downgrade()
 
 void Init::Child::report_state(Xml_generator &xml, Report_detail const &detail) const
 {
+	if (abandoned())
+		return;
+
 	/* true if it's safe to call the PD for requesting resource information */
 	bool const pd_alive = !abandoned() && !_exited;