From a5eb198549e23f6b2b0f2946a31a609609284eb0 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 19 Apr 2023 11:19:08 +0200 Subject: [PATCH] sandbox/init: report exit state immediately 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 --- repos/os/src/lib/sandbox/child.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/lib/sandbox/child.h b/repos/os/src/lib/sandbox/child.h index b4a612624a..4634415809 100644 --- a/repos/os/src/lib/sandbox/child.h +++ b/repos/os/src/lib/sandbox/child.h @@ -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