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

nitpicker: fix Domain_registry destructor

Browse Source 
When reloading the nitpicker configuration, the destructor would get
stuck, trying to destroy the same object again and again.
This commit is contained in:
Norman Feske 2015-06-03 21:35:33 +02:00 committed by Christian Helmuth
parent 852a250e03
commit 66e5796017
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/server/nitpicker/domain_registry.h
View File

@ -222,8 +222,10 @@ class Domain_registry
~Domain_registry()
{
while (Entry *e = _entries.first())
while (Entry *e = _entries.first()) {
_entries.remove(e);
Genode::destroy(_alloc, e);
}
}
Entry const *lookup(Entry::Name const &name) const