From 1aa9f9910c7e75fe92e994c616fe9cc5d1bcf037 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 14 Jan 2013 11:52:15 +0100
Subject: [PATCH] Add 'Service_registry::remove_all' function

This function is needed when reconfiguring init.
---
 base/include/base/service.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/base/include/base/service.h b/base/include/base/service.h
index c28a90cec..df54d8620 100644
--- a/base/include/base/service.h
+++ b/base/include/base/service.h
@@ -408,6 +408,15 @@ namespace Genode {
 			 * Unregister service
 			 */
 			void remove(Service *service) { _services.remove(service); }
+
+			/**
+			 * Unregister all services
+			 */
+			void remove_all()
+			{
+				while (_services.first())
+					remove(_services.first());
+			}
 	};
 }