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;