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

nitpicker: send mode change on domain update

Browse Source 
Fixes #3259
This commit is contained in:
Alexander Boettcher
2019-03-28 15:11:35 +01:00
committed by Norman Feske
parent 38de57be76
commit ca32c11f4f
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/server/nitpicker/main.cc
View File

@@ -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);