diff --git a/repos/os/src/server/rom_filter/input_rom_registry.h b/repos/os/src/server/rom_filter/input_rom_registry.h index b6efcd7549..a3c89832f3 100644 --- a/repos/os/src/server/rom_filter/input_rom_registry.h +++ b/repos/os/src/server/rom_filter/input_rom_registry.h @@ -157,6 +157,8 @@ class Rom_filter::Input_rom_registry _input_rom_changed_fn(input_rom_changed_fn) { _rom_ds.sigh(_rom_changed_handler); + try { _top_level = _rom_ds.xml(); } + catch (...) {} } Input_rom_name name() const { return _name; }