From ca32c11f4f3d51ded4feb895120abc1772ab3303 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 28 Mar 2019 15:11:35 +0100 Subject: [PATCH] nitpicker: send mode change on domain update Fixes #3259 --- repos/os/src/server/nitpicker/main.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/repos/os/src/server/nitpicker/main.cc b/repos/os/src/server/nitpicker/main.cc index 1e7c3d7054..4277358d29 100644 --- a/repos/os/src/server/nitpicker/main.cc +++ b/repos/os/src/server/nitpicker/main.cc @@ -560,8 +560,10 @@ void Nitpicker::Main::_handle_config() try { _domain_registry.construct(_domain_registry_heap, config); } catch (...) { } - for (Session_component *s = _session_list.first(); s; s = s->next()) + for (Session_component *s = _session_list.first(); s; s = s->next()) { s->apply_session_policy(config, *_domain_registry); + s->notify_mode_change(); + } _view_stack.apply_origin_policy(_pointer_origin);