ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 03:45:24 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

init: don't report abandoned children

Browse Source 
This is a fixup of "base: fix destruction of async env sessions".
This commit is contained in:
Norman Feske 2018-06-12 15:49:17 +02:00 committed by Christian Helmuth
parent ef482513c4
commit 648539a513
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/src/init/child.cc
View File

@ -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;