denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sandbox/init: report exit state immediately

Browse Source 
This patch promotes the event of an exiting child to become immediately
reported, reducing delays for management components that watch the exit
status of children.

Fixes #4814
This commit is contained in:
Norman Feske
2023-04-19 11:19:08 +02:00
committed by Christian Helmuth
parent aab9227365
commit a5eb198549
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/lib/sandbox/child.h
View File

@@ -715,7 +715,7 @@ class Sandbox::Child : Child_policy, Routed_service::Wakeup
_child.close_all_sessions();
_report_update_trigger.trigger_report_update();
_report_update_trigger.trigger_immediate_report_update();
/*
* Print a message as the exit is not handled otherwise. There are