mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 13:47:56 +00:00
Init: bugfix
Fix a use-after-free bug concerning the use case where the config of the init process changes dynamically. The childs' services were not removed from the corresponding Service_registry properly. Fixes #1094
This commit is contained in:
parent
0b7ea4abab
commit
da9e764c47
@ -557,7 +557,12 @@ namespace Init {
|
||||
} catch (Xml_node::Nonexistent_sub_node) { }
|
||||
}
|
||||
|
||||
virtual ~Child() { }
|
||||
virtual ~Child() {
|
||||
Genode::Service *s;
|
||||
while ((s = _child_services->find_by_server(&_server))) {
|
||||
_child_services->remove(s);
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Return true if the child has the specified name
|
||||
|
Loading…
Reference in New Issue
Block a user