genodelabs/genode — pull request #1094 by ValiValpas (2014-03-13 12:26:52+00:00)
Title: Fix use-after-free bug in init

Fix a use-after-free bug concerning the use case where the config
of the init process changes dynamically. The childs' services were not
removed from the corresponding Service_registry properly.