ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: fix presence of unconfigured children

Browse Source 
A launched child only becomes present in the runtime when it has been
configured. This must be considered when checking for missing servers.

Fixes genodelabs/genode#5226
This commit is contained in:
Johannes Schlatow 2024-05-23 12:36:26 +02:00 committed by Christian Helmuth
parent cfd013a01a
commit b793802333
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
repos/gems/src/app/depot_deploy/children.h
View File

@ -194,6 +194,15 @@ class Depot_deploy::Children
result = true; });
return result;
}
bool blueprint_needed(Child::Name const &name) const
{
bool result = false;
_children.for_each([&] (Child const &child) {
if (child.name() == name && child.blueprint_needed())
result = true; });
return result;
}
};
#endif /* _CHILDREN_H_ */

2
repos/gems/src/app/sculpt_manager/deploy.h
View File

@ -234,7 +234,7 @@ struct Sculpt::Deploy
if (name == "default_fs_rw")
return;
if (!_runtime_info.present_in_runtime(name))
if (!_runtime_info.present_in_runtime(name) || _children.blueprint_needed(name))
fn(name);
});
});