Johannes Schlatow 44fe44e8b6 init: invalidate child-provided service on kill ...

When init destroys a child server with an open session, the client must
be updated as it will otherwise store a pointer to a no-more existing
service object which will be dereferenced when the child client is
destroyed.

Fixes #1912

2016-04-11 11:58:15 +02:00

..

config.explicit_routing

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

config.priority

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

config.wildcard

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

main.cc

init: invalidate child-provided service on kill

2016-04-11 11:58:15 +02:00

target.mk

base-linux: remove chroot support

2016-03-08 17:00:54 +01:00