From 66e579601786f438bffd85df6f525f7724cc56d1 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 3 Jun 2015 21:35:33 +0200 Subject: [PATCH] nitpicker: fix Domain_registry destructor When reloading the nitpicker configuration, the destructor would get stuck, trying to destroy the same object again and again. --- repos/os/src/server/nitpicker/domain_registry.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/repos/os/src/server/nitpicker/domain_registry.h b/repos/os/src/server/nitpicker/domain_registry.h index 48a6071544..b2347771e3 100644 --- a/repos/os/src/server/nitpicker/domain_registry.h +++ b/repos/os/src/server/nitpicker/domain_registry.h @@ -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