Add 'Service_registry::remove_all' function

This function is needed when reconfiguring init.
This commit is contained in:
Norman Feske 2013-01-14 11:52:15 +01:00
parent af66043b79
commit 1aa9f9910c
1 changed files with 9 additions and 0 deletions

View File

@ -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());
}
};
}