genode

ExternalVendorCode/genode

Fork 0

mirror of https://github.com/genodelabs/genode.git synced 2025-02-14 06:52:03 +00:00

Commit Graph

Author	SHA1	Message	Date
Norman Feske	20f961cbd8	cli_monitor, launcher: handle exiting subsystems Until now, the CLI monitor and the laucher allowed the user to explitly kill subsystems but both used to ignore gracefully exiting subsystems. It was the user's job to remove the remains of those subsystems. The patch takes the burden of manually killing exited subsystems from the user. Fixes #1685	2015-09-30 15:48:12 +02:00
Norman Feske	6244c6ec97	gems: launcher application	2014-10-13 15:21:55 +02:00

Author

SHA1

Message

Date

Norman Feske

20f961cbd8

cli_monitor, launcher: handle exiting subsystems

Until now, the CLI monitor and the laucher allowed the user to explitly
kill subsystems but both used to ignore gracefully exiting subsystems.
It was the user's job to remove the remains of those subsystems. The
patch takes the burden of manually killing exited subsystems from the
user.

Fixes #1685

2015-09-30 15:48:12 +02:00

Norman Feske

6244c6ec97

gems: launcher application

2014-10-13 15:21:55 +02:00

2 Commits