From ecb6947f9c29d814347066cf8e2d7ca8f0116491 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 24 Oct 2012 18:06:27 +0200
Subject: [PATCH] Noux: fix 'Rm_session_component' destructor

Fixes #434.
---
 ports/src/noux/rm_session_component.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/src/noux/rm_session_component.h b/ports/src/noux/rm_session_component.h
index 3335d018bd..5273bc6360 100644
--- a/ports/src/noux/rm_session_component.h
+++ b/ports/src/noux/rm_session_component.h
@@ -83,8 +83,8 @@ namespace Noux {
 
 			~Rm_session_component()
 			{
-				Region *curr = 0;
-				for (; curr; curr = curr->next())
+				Region *curr;
+				while ((curr = _regions.first()))
 					detach(curr->local_addr);
 			}